Rigorous results for random (2+p)-SAT.

Dimitris Achlioptas Lefteris M. Kirousis Evangelos Kranakis Danny Krizanc

Published in: Theor. Comput. Sci. (2001)

Keyphrases

satisfiability problem
search algorithm
sat solvers
neural network
information systems
search space
logic programming
search strategies
phase transition
mathematical foundations
boolean satisfiability
sat solving
stochastic local search algorithms
random sat