Perturb and simplify: multi-level boolean network optimizer.

Shih-Chieh Chang, Malgorzata Marek-Sadowska

Browse the full ICCAD paper archive.