ScalaSMT: satisfiability modulo theory in Scala (tool paper).

Franck Cassez Anthony M. Sloane

Published in: SCALA@SPLASH (2017)

Keyphrases

theoretical foundation
np complete
satisfiability problem
general theory
software tools
neural network
propositional logic
satisfiability testing
real time
computational properties
analysis tool
user friendly
computational model
special case
computational complexity
bayesian networks
data mining