Disjoint Partial Enumeration without Blocking Clauses.

Giuseppe Spallitta, Roberto Sebastiani, Armin Biere

Browse the full AAAI paper archive.