@inproceedings{mishchenko_chatterjee_brayton_2006, 
  title={DAG-aware AIG rewriting: a fresh look at combinational logic synthesis}, 
  DOI={10.1109/dac.2006.229287}, 
  publisher={IEEE}, 
  author={Mishchenko and Chatterjee and Brayton}, 
  year={2006}
  }