Login / Signup

An O (T log T) Reduction from RAM Computations to Satisfiability.

J. M. Robson
Published in: Theor. Comput. Sci. (1991)
Keyphrases
  • satisfiability problem
  • computational complexity
  • np complete
  • propositional logic
  • phase transition
  • reduction method
  • real time
  • data structure
  • main memory
  • log files
  • sat problem
  • stochastic local search
  • sat encodings