Sign in
Dependency Schemes in CDCL-Based QBF Solving: A Proof-Theoretic Study.
Abhimanyu Choudhury
Meena Mahajan
Published in:
FSTTCS (2023)
Keyphrases
</>
sat solvers
np hard
programming language
np complete