TY  - RPRT
TI  - Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
AU  - Daniela Kaufmann
AU  - Jérémy Berthomieu
PY  - 2025
UR  - https://arxiv.org/abs/2411.16348
ID  - 2411.16348
ER  -