Login / Signup
Satisfiability and Evolution.
Adi Livnat
Christos H. Papadimitriou
Aviad Rubinstein
Gregory Valiant
Andrew 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