A Case for Efficient Solution Enumeration. Khurshid, S., Marinov, D., Shlyakhter, I., & Jackson, D. In Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers, pages 272-286, 2003.
A Case for Efficient Solution Enumeration [pdf]Paper  bibtex   

Downloads: 0