Solution Enumeration for Projected Boolean Search Problems.

Martin Gebser, Benjamin Kaufmann, Torsten Schaub

Browse the full CPAIOR paper archive.