Login / Signup

Satisfiability and Evolution.

Adi LivnatChristos H. PapadimitriouAviad RubinsteinGregory ValiantAndrew Wan
Published in: FOCS (2014)
Keyphrases
  • propositional logic
  • np complete
  • database
  • real time
  • decision procedures
  • machine learning
  • data structure
  • relational databases
  • special case
  • first order logic
  • phase transition
  • satisfiability problem
  • sat problem