Hongyan Zhang, Robert Wille, Rolf Drechsler. SAT-based ATPG for reversible circuits. In Yervant Zorian, Imtinan Elahi, André Ivanov, Ashraf Salem, editors, 5th International Design and Test Workshop, IDT 2010, Abu Dhabi, UAE, 14-15 December 2010. pages 149-154, IEEE, 2010. [doi]
Abstract is missing.