Login / Signup
A note on random 2-SAT with prescribed literal degrees.
Colin Cooper
Alan M. Frieze
Gregory B. Sorkin
Published in:
SODA (2002)
Keyphrases
</>
random sat
phase transition
satisfiability problem
random sat instances
sat problem
random constraint satisfaction problems
boolean satisfiability
np complete
max sat
sat instances
stochastic local search
knowledge base
computational complexity
decision problems