Login / Signup
On the r, s-SAT satisfiability problem and a conjecture of Tovey.
Olivier Dubois
Published in:
Discret. Appl. Math. (1990)
Keyphrases
</>
satisfiability problem
np complete
sat problem
search algorithm
temporal logic
phase transition
stochastic local search algorithms
sat instances
stochastic local search
solving hard
pspace complete
random sat
max sat
davis putnam
mazurkiewicz traces
decision procedures
randomly generated
sat solvers
search space