Solution Enumeration for Projected Boolean Search Problems

by Martin Gebser , Benjamin Kaufmann , Torsten Schaub
Citations:13 - 5 self