Login / Signup
Satisfiability Problems Complete for Deterministic Logarithmic Space.
Jan Johannsen
Published in:
STACS (2004)
Keyphrases
</>
satisfiability problem
pspace complete
np complete
temporal logic
phase transition
search algorithm
sat problem
search space
stochastic local search
max sat
davis putnam