TY  - RPRT
TI  - Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses
AU  - Giuseppe Spallitta
AU  - Roberto Sebastiani
AU  - Armin Biere
PY  - 2024
DO  - 10.1016/j.artint.2025.104346
UR  - https://arxiv.org/abs/2410.18707
ID  - 2410.18707
ER  -