Spallitta, G.; Sebastiani, R.; Biere, A. Disjoint Partial Enumeration Without Blocking Clauses. AAAI 2024, 38, 8126-8135.