Workshop on Satisfiability Modulo Theories (SMT)
(brand of TEST)1 × Austria
1 × Germany
1 × United Kingdom
11 ×#smt
4 ×#constraints
4 ×#logic
3 ×#array
3 ×#difference
3 ×#named
3 ×#satisfiability
3 ×#verification
2 ×#automation
2 ×#encoding
Vocabulary: 138 wordsEvent series page: http://smt-workshop.cs.uiowa.edu
37 papers in 4 issues:
- 2014
Proceedings of the 12th International Workshop on Satisfiability Modulo Theories (SMT 2014)- 2012
- Proceedings of the 10th International Workshop on Satisfiability Modulo Theories (SMT 2012)
- 2007
- Proceedings of the Fifth International Workshop on Satisfiability Modulo Theories (SMT 2007)
- 2006
- Special Issue on Satisfiability Modulo Theories (SMT 2006)
1 × Germany
1 × United Kingdom
11 ×#smt
4 ×#constraints
4 ×#logic
3 ×#array
3 ×#difference
3 ×#named
3 ×#satisfiability
3 ×#verification
2 ×#automation
2 ×#encoding
Vocabulary: 138 words
37 papers in 4 issues:
- 2014
- Proceedings of the 12th International Workshop on Satisfiability Modulo Theories (SMT 2014)
- 2012
- Proceedings of the 10th International Workshop on Satisfiability Modulo Theories (SMT 2012)
- 2007
- Proceedings of the Fifth International Workshop on Satisfiability Modulo Theories (SMT 2007)
- 2006
- Special Issue on Satisfiability Modulo Theories (SMT 2006)