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