G. Spallitta, R. Sebastiani, and A. Biere, “Disjoint Partial Enumeration without Blocking Clauses”, AAAI, vol. 38, no. 8, pp. 8126-8135, Mar. 2024.