Solution enumeration for projected Boolean search problems (2009)

by Martin Gebser, Benjamin Kaufmann, Torsten Schaub
Venue:Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems