Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22 - 23, 2017.
Published in: SMT (2017)
Keyphrases
- computer aided
- international conference
- satisfiability modulo theories
- computational intelligence
- computational molecular biology
- modulo theories
- koli calling
- ifip wg
- computer science
- image analysis
- model checking
- data mining
- lecture notes
- sat solvers
- computer and information science
- np hard
- decision trees
- genetic algorithm
- machine learning