Login / Signup

Proving SAT does not have Small Circuits with an Application to the Two.

Lance FortnowAduri PavanSamik Sengupta
Published in: Computational Complexity Conference (2003)
Keyphrases
  • boolean satisfiability
  • small number
  • neural network
  • search strategies
  • satisfiability problem
  • sat solving