TY  - RPRT
TI  - General Boolean Formula Minimization with QBF Solvers
AU  - Eduardo Calò
AU  - Jordi Levy
PY  - 2023
UR  - https://arxiv.org/abs/2303.06643
ID  - 2303.06643
ER  -