Spallitta, G., Sebastiani, R., & Biere, A. (2024). Disjoint Partial Enumeration without Blocking Clauses. Proceedings of the AAAI Conference on Artificial Intelligence, 38(8), 8126-8135. https://doi.org/10.1609/aaai.v38i8.28652