Benjamin Böhm

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 6

Top Topics

Propositional Satisfiability

Top Venues

Electron. Colloquium Comput. Complex.

Publications

Benjamin Böhm, Olaf Beyersdorff
Lower Bounds for QCDCL via Formula Gauge. SAT (2021)
Olaf Beyersdorff, Benjamin Böhm
Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution. CoRR (2021)
Olaf Beyersdorff, Benjamin Böhm
Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution. ITCS (2021)
Olaf Beyersdorff, Benjamin Böhm
QCDCL with Cube Learning or Pure Literal Elimination - What is best? Electron. Colloquium Comput. Complex. 28 (2021)
Marc Haussmann, Florian Ries, Jonathan B. Jeppener-Haltenhoff, Yongxiang Li, Marius Schmidt, Cooper Welch, Lars Illmann, Benjamin Böhm, Hermann Nirschl, Mathias J. Krause, Amsini Sadiki
Evaluation of a Near-Wall-Modeled Large Eddy Lattice Boltzmann Method for the Analysis of Complex Flows Relevant to IC Engines. Comput. 8 (2) (2020)
Olaf Beyersdorff, Benjamin Böhm
Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution. Electron. Colloquium Comput. Complex. 27 (2020)