Extracting Linear Relations from Grbner Bases for Formal Verification of And-Inverter Graphs.

Daniela Kaufmann, Jrmy Berthomieu

Browse the full TACAS paper archive.