TY  - RPRT
TI  - Disjoint Partial Enumeration without Blocking Clauses
AU  - Giuseppe Spallitta
AU  - Roberto Sebastiani
AU  - Armin Biere
PY  - 2024
DO  - 10.1609/aaai.v38i8.28652
UR  - https://arxiv.org/abs/2306.00461
ID  - 2306.00461
ER  -