![](https://media.springernature.com/w90/springer-static/cover/journal/10703/42/1.jpg?as=webp)
Volume 42, Issue 1
February 2013Special issue on Satisfiability Modulo Theory
- Issue Editors:
-
- Ofer Strichman,
- Daniel Kroening
6 articles in this issue