Benjamin Böhm

1
papers
0
total citations

papers (1)

Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs

AAAI 2024
0
citations