Login / Signup
Review of introduction to mathematics of satisfiability, by Victor W. Marek.
Stephan Falke
Published in:
SIGACT News (2012)
Keyphrases
</>
satisfiability problem
np complete
computer science
phase transition
neural network
computational complexity
propositional logic
online reviews
real time
data sets
search engine
case study
special case
belief revision
computational properties
computer algebra