CEGAR-based EF synthesis of Boolean functions with an application to circuit rectification.

Heinz Riener, Rdiger Ehlers, Grschwin Fey

Browse the full ASPDAC paper archive.