DAG-aware AIG rewriting: a fresh look at combinational logic synthesis

@inproceedings{mishchenko2006dag,
  title={DAG-aware AIG rewriting: A fresh look at combinational logic synthesis},
  author={Mishchenko, Alan and Chatterjee, Satrajit and Brayton, Robert},
  booktitle={2006 43rd ACM/IEEE Design Automation Conference},
  pages={532--535},
  year={2006},
  organization={IEEE},
  url={https://people.eecs.berkeley.edu/~brayton/publications/2006/dac06_rwr.pdf}
}