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