The Succinct Solver Suite (2004)

by F Nielson, H R Nielson, H Sun, M Buchholtz, R R Hansen, H Pilegaard, H Seidl
Venue:In Tools and Algorithms for the Construction and Analysis of Systems (TAPAS