Benjamin Böhm

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 10

Top Topics

Incremental Learning

Consequence Finding

Quantified Boolean Formulas

Top Venues

Electron. Colloquium Comput. Complex.

J. Autom. Reason.

Publications

Olaf Beyersdorff, Benjamin Böhm, Meena Mahajan
Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs. AAAI (2024)
Benjamin Böhm, Tomás Peitl, Olaf Beyersdorff
QCDCL with cube learning or pure literal elimination - What is best? Artif. Intell. 336 (2024)
Benjamin Böhm, Tomás Peitl, Olaf Beyersdorff
Should Decisions in QCDCL Follow Prefix Order? J. Autom. Reason. 68 (1) (2024)
Olaf Beyersdorff, Benjamin Böhm
Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution. Log. Methods Comput. Sci. 19 (2) (2023)
Benjamin Böhm, Olaf Beyersdorff
Lower Bounds for QCDCL via Formula Gauge. J. Autom. Reason. 67 (4) (2023)
Benjamin Böhm, Olaf Beyersdorff
QCDCL vs QBF Resolution: Further Insights. Electron. Colloquium Comput. Complex. (2023)
Benjamin Böhm, Olaf Beyersdorff
QCDCL vs QBF Resolution: Further Insights. SAT (2023)
Benjamin Böhm, Tomás Peitl, Olaf Beyersdorff
QCDCL with Cube Learning or Pure Literal Elimination - What is Best? IJCAI (2022)
Benjamin Böhm, Tomás Peitl, Olaf Beyersdorff
Should decisions in QCDCL follow prefix order? Electron. Colloquium Comput. Complex. (2022)
Benjamin Böhm, Tomás Peitl, Olaf Beyersdorff
Should Decisions in QCDCL Follow Prefix Order? SAT (2022)