Hongyan Zhang 0003, Stefan Frehse, Robert Wille, Rolf Drechsler. Determining minimal testsets for reversible circuits using Boolean satisfiability. In AFRICON 2011, Victoria Falls, Livingstone, Zambia, September 13-15, 2011. pages 1-6, IEEE, 2011. [doi]
Abstract is missing.