B-Cubing: New Possibilities for Efficient SAT-Solving.

Domagoj Babic Jesse D. Bingham Alan J. Hu

Published in: IEEE Trans. Computers (2006)

Keyphrases

sat solving
search space
evolutionary algorithm
orders of magnitude
constraint satisfaction
traveling salesman problem
boolean satisfiability
sat encodings