A Survey of Satisfiability Modulo Theory.

Published in: CASC (2016)

Keyphrases

theoretical framework
theoretical basis
satisfiability problem
information systems
theoretical foundation
data sets
website
computational complexity
reasoning problems