Extended Resolution Proofs for Symbolic SAT Solving with Quantification.

Toni Jussila Carsten Sinz Armin Biere

Published in: SAT (2006)

Keyphrases

sat solving
clause learning
sat solvers
boolean satisfiability
boolean optimization
theorem prover
satisfiability problem
search tree
theorem proving
sat problem