SAT-based Exact Synthesis of Ternary Reversible Circuits using a Functionally Complete Gate Library | IEEE Conference Publication | IEEE Xplore