SAT-based Exact Synthesis of Ternary Reversible Circuits using a Functionally Complete Gate Library.

Abhoy Kole, Kamalika Datta, Indranil Sengupta, Rolf Drechsler

Browse the full DSD paper archive.