AIGLE: A Tool for Compact, Legible AIGER Circuits from Safety Specifications.

Matas Brizzio, Andoni Rodrguez, Csar Snchez, Renzo Degiovanni

Browse the full KR paper archive.