TY  - RPRT
TI  - On Enumerating Short Projected Models
AU  - Sibylle Möhle
AU  - Roberto Sebastiani
AU  - Armin Biere
PY  - 2024
UR  - https://arxiv.org/abs/2110.12924
ID  - 2110.12924
ER  -