Logic optimization using rule-based randomized search.

Petra Frm, Elena Dubrova, Andreas Kuehlmann

Browse the full ASPDAC paper archive.