Derandomization of PPSZ for Unique-k-SAT

Published in: Electron. Colloquium Comput. Complex. (2005)

Keyphrases

sat solvers
search strategies
databases
satisfiability problem
phase transition
boolean satisfiability
machine learning
information systems
search algorithm
search tree
sat problem
max sat
graph coloring