)-SAT by Flipping Two Variables.

Guangyan Zhou Zongsheng Gao

Published in: Int. J. Found. Comput. Sci. (2013)

Keyphrases

variable ordering
satisfiability problem
search algorithm
variable selection
relevant variables
sat problem
boolean variables
first order logic
sat solvers
input variables
search problems
max sat
graph coloring