A Survey of Satisfiability Modulo Theory.

Published in: CoRR (2016)

Keyphrases

computational complexity
theoretical framework
real time
real world
artificial intelligence
formal theory
propositional theories
database
data sets
information retrieval
np complete
orders of magnitude
computational models
satisfiability problem
propositional logic