Extending Clause Learning DPLL with Parity Reasoning.

Tero Laitinen Tommi A. Junttila Ilkka Niemelä

Published in: ECAI (2010)

Keyphrases

clause learning
sat solvers
proof procedure
satisfiability problem
sat solving
sat problem
davis putnam
propositional satisfiability
knowledge representation
sat instances
knowledge base
automated reasoning
boolean satisfiability
orders of magnitude
computational properties
propositional logic
search tree