A Novel SAT AllSolutions Solver for Efficient Pre image Computation (2004)

by B Li, M S Hsiao, S Sheng
Venue:in Proceedings of the IEEE International Conference on Design, Automation and Test in Europe