Benjamin Bhm
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAT | Towards Understanding the Complexity of CAQE: A Proof-Theoretic Analysis of Its Core Procedure. | Benjamin Bhm, Olaf Beyersdorff |
| 2024 | AAAI | Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs. | Olaf Beyersdorff, Benjamin Bhm, Meena Mahajan |
| 2023 | SAT | QCDCL vs QBF Resolution: Further Insights. | Benjamin Bhm, Olaf Beyersdorff |
| 2022 | IJCAI | QCDCL with Cube Learning or Pure Literal Elimination - What is Best? | Benjamin Bhm, Toms Peitl, Olaf Beyersdorff |
| 2022 | SAT | Should Decisions in QCDCL Follow Prefix Order? | Benjamin Bhm, Toms Peitl, Olaf Beyersdorff |
| 2021 | SAT | Lower Bounds for QCDCL via Formula Gauge. | Benjamin Bhm, Olaf Beyersdorff |