notesum.ai

Published at November 25

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs

cs.SC

cs.LO

Released Date: November 25, 2024

Authors: Daniela Kaufmann¹, Jérémy Berthomieu²

Aff.: ¹TU Wien, Vienna, Austria; ²Sorbonne Université, CNRS, Paris, France

Arxiv: http://arxiv.org/abs/2411.16348v1

Refer to caption