TY  - RPRT
TI  - Certifying Phase Abstraction
AU  - Nils Froleyks
AU  - Emily Yu
AU  - Armin Biere
AU  - Keijo Heljanko
PY  - 2024
UR  - https://arxiv.org/abs/2405.04297
ID  - 2405.04297
ER  -