Revision of the AIG Software Toolkit: A Contribute to More User Friendliness and Algorithmic Efficiency.

Sebastian Kucharski, Gregor Damnik, Florian Stahr, Iris Braun

Browse the full CSEDU paper archive.