- T. Sasao, "Optimization of pseudo-Kronecker expressions using multiple-
place decision diagrams," IEICE Transactions on Information and Systems,
May 1993, pp. 562-570.
- T. Sasao, "EXMIN2: A simplification algorithm for exclusive-OR-Sum-of
-products expressions for multiple-valued input two-valued output
functions," IEEE Transactions on Computer-Aided Design of Integrated
Circuits and Systems, vol. 12, No. 5, May 1993, pp. 621-632.
- D. Brand and T. Sasao, "Minimization of AND-EXOR expressions
using rewriting rules," IEEE Transactions on Computers, Vol. 42, No. 5
May 1993, pp. 568-576.
- T. Sasao," Ternary decision diagrams and their applications,"
International Workshop on Logic Synthesis, Tahoe City, California
May 23-26,1993, pp.6c1-6c11..
- N. Koda and T. Sasao, "LP- Characteristic vectors of logic functions
and their applications"(in Japanese), Trans. IEICE Japan, Part D-I,
Vol. J76-D-1, No. 6, 1993, pp. 260-268.
- T. Sasao, "An exact minimization of AND-EXOR expressions using BDDs,"
IFIP 10.5 Workshop on Application of the Reed-Muller expansion in Circuit
Design, Sept. 1993, pp.91-98.
- N. Koda and T. Sasao," LP equivalence class of logic functions,"
IFIP 10.5 Workshop on Application of the Reed-Muller expansion in
Circuit Design, Sept. 1993, pp.99-106.
- T. Sasao, "An exact minimization of AND-EXOR expressions using
reduced covering functions, "Proc. of the Synthesis and Simulation
Meeting and International Interchange, October 20-22, 1993, pp. 374-383.