Extended Resolution Clause Learning via Dual Implication Points.

Sam Buss Jonathan Chung Vijay Ganesh Albert Oliveras

Published in: CoRR (2024)

Keyphrases

clause learning
sat solvers
satisfiability problem
sat solving
propositional satisfiability
probabilistic model
np complete
expressive power