Multi-Valued Logic Synthesis

Multiple-valued logic synthesis and optimization

Logic Synthesis and Verification

Bi-Decomposition of Function Sets in Multiple-Valued Logic for Circuit Design and Data Mining

Artificial Intelligence Review

CAMA: A Multi-Valued Satisfiability Solver

Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design

Functional test generation based on word-level SAT

Journal of Systems Architecture: the EUROMICRO Journal

Bi-decomposition of function sets in multiple-valued logic for circuit design and data mining

Artificial intelligence in logic design

Reconfigurable Blocks Based on Balanced Ternary

Journal of Signal Processing Systems

Sa based power efficient FPGA LUT mapping

Proceedings of the 15th annual conference companion on Genetic and evolutionary computation

Encoding multi-valued functions for symmetry

Proceedings of the International Conference on Computer-Aided Design