Robert Wille, Hongyan Zhang, Rolf Drechsler. ATPG for Reversible Circuits Using Simulation, Boolean Satisfiability, and Pseudo Boolean Optimization. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2011, 4-6 July 2011, Chennai, India. pages 120-125, IEEE Computer Society, 2011. [doi]
@inproceedings{WilleZD11, title = {ATPG for Reversible Circuits Using Simulation, Boolean Satisfiability, and Pseudo Boolean Optimization}, author = {Robert Wille and Hongyan Zhang and Rolf Drechsler}, year = {2011}, doi = {10.1109/ISVLSI.2011.77}, url = {http://dx.doi.org/10.1109/ISVLSI.2011.77}, tags = {optimization}, researchr = {https://researchr.org/publication/WilleZD11}, cites = {0}, citedby = {0}, pages = {120-125}, booktitle = {IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2011, 4-6 July 2011, Chennai, India}, publisher = {IEEE Computer Society}, }