Shih-Chieh Chang Malgorzata Marek-Sadowska Perturb and simplify: multi-level boolean network optimizer. 2-5 1994 conf/iccad/1994 ICCAD http://doi.acm.org/10.1145/191326.191333 db/conf/iccad/iccad1994.html#ChangM94