Solution Enumeration for Projected Boolean Search Problems

by Martin Gebser , Benjamin Kaufmann , Torsten Schaub
Citations:9 - 3 self