Login / Signup
Dependency schemes in CDCL-based QBF solving: a proof-theoretic study.
Abhimanyu Choudhury
Meena Mahajan
Published in:
Electron. Colloquium Comput. Complex. (2023)
Keyphrases
</>
sat solvers
sat encodings
proof theory
proof theoretic