@misc{indiciae456649ec6ce2,
  title = {Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs},
  author = {Daniela Kaufmann and Jérémy Berthomieu},
  year = {2025},
  url = {https://arxiv.org/abs/2411.16348},
  note = {Source identifier: 2411.16348}
}