Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT.

Balasim Al-Saedi Éric Grégoire Bertrand Mazure Lakhdar Sais

Published in: ICTAI (2014)

Keyphrases

satisfiability problem
sat solvers
search procedures
propositional satisfiability
stochastic local search algorithms
search algorithm
orders of magnitude
efficient implementation
default logic
sat problem
boolean satisfiability
variable ordering
sat solving
satisfiability testing