Benjamin Böhm

18 papers A* 2A 4Journal 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs.
J. Autom. Reason.
Olaf Beyersdorff, Benjamin Böhm, Meena Mahajan
2025 — —
complexity of quantified conflict driven clause learning.
Benjamin Böhm
2024 J jnl
QCDCL vs QBF Resolution: Further Insights.
J. Artif. Intell. Res.
Benjamin Böhm, Olaf Beyersdorff
2024 J jnl
QCDCL with cube learning or pure literal elimination - What is best?
Artif. Intell.
Benjamin Böhm, Tomás Peitl, Olaf Beyersdorff
2024 A* conf
Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs.
AAAI
Olaf Beyersdorff, Benjamin Böhm, Meena Mahajan
2024 J jnl
Should Decisions in QCDCL Follow Prefix Order?
J. Autom. Reason.
Benjamin Böhm, Tomás Peitl, Olaf Beyersdorff
2023 J jnl
Lower Bounds for QCDCL via Formula Gauge.
J. Autom. Reason.
Benjamin Böhm, Olaf Beyersdorff
2023 A conf
QCDCL vs QBF Resolution: Further Insights.
SAT
Benjamin Böhm, Olaf Beyersdorff
2023 J jnl
QCDCL vs QBF Resolution: Further Insights.
Electron. Colloquium Comput. Complex.
Benjamin Böhm, Olaf Beyersdorff
2023 J jnl
Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution.
Log. Methods Comput. Sci.
Olaf Beyersdorff, Benjamin Böhm
2022 A* conf
QCDCL with Cube Learning or Pure Literal Elimination - What is Best?
IJCAI
Benjamin Böhm, Tomás Peitl, Olaf Beyersdorff
2022 A conf
Should Decisions in QCDCL Follow Prefix Order?
SAT
Benjamin Böhm, Tomás Peitl, Olaf Beyersdorff
2022 J jnl
Should decisions in QCDCL follow prefix order?
Electron. Colloquium Comput. Complex.
Benjamin Böhm, Tomás Peitl, Olaf Beyersdorff
2021 A conf
Lower Bounds for QCDCL via Formula Gauge.
SAT
Benjamin Böhm, Olaf Beyersdorff
2021 J jnl
QCDCL with Cube Learning or Pure Literal Elimination - What is best?
Electron. Colloquium Comput. Complex.
Olaf Beyersdorff, Benjamin Böhm
2021 A conf
Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution.
ITCS
Olaf Beyersdorff, Benjamin Böhm
2021 J jnl
Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution.
CoRR
Olaf Beyersdorff, Benjamin Böhm
2020 J jnl
Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution.
Electron. Colloquium Comput. Complex.
Olaf Beyersdorff, Benjamin Böhm