TY  - RPRT
TI  - On CNF Conversion for SAT and SMT Enumeration
AU  - Gabriele Masina
AU  - Giuseppe Spallitta
AU  - Roberto Sebastiani
PY  - 2025
DO  - 10.1613/jair.1.16870
UR  - https://arxiv.org/abs/2303.14971
ID  - 2303.14971
ER  -