Login / Signup

On the Complexity of SAT.

Richard J. LiptonAnastasios Viglas
Published in: FOCS (1999)
Keyphrases
  • computational complexity
  • space complexity
  • neural network
  • real time
  • information systems
  • case study
  • sat solvers