C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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