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