Solution enumeration for projected Boolean search problems (0)

by M GEBSER, B KAUFMANN, T SCHAUB
Venue:In Proceedings of the Sixth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR’09