Experimental Results on the Satisfiable Core in Random 3SAT.

Honglei Zeng Sheila A. McIlraith

Published in: AI&M (2006)

Keyphrases

phase transition
satisfiability problem
sat problem
learning algorithm
search algorithm
state space
optimization problems
random sat