Improving PPSZ for 3-SAT using Critical Variables.

Timon Hertli Robin A. Moser Dominik Scheder

Published in: STACS (2011)

Keyphrases

variable ordering
sat solvers
satisfiability problem
variable selection
search algorithm
independent variables
genetic algorithm
logic programming
search procedures
relevant variables