![](https://media.springernature.com/w90/springer-static/cover/journal/10472/70/4.jpg?as=webp)
Volume 70, Issue 4
April 2014Special Issue: Application of Constraints to Formal Verification and Artificial Intelligence
- Issue Editors:
-
- Miroslav Velev,
- John Franco
4 articles in this issue