Strategies for Solving the Boolean Satisfiability Problem using
Binary Decision Diagrams. Journal of Systems Architecture, Euromicro
Journal, vol. 47/6, pp. 491-503, September 2001.
Conference Publications
Word-Level Traversal of Finite State
Machines using Algebraic Geometry. Xiaojun Sun, Priyank Kalla
and Florian Enescu. To appear in IEEE Intl. Workshop on High-Level
Design Validation and Test, 2016.