Discover open access scientific publications

Search, annotate, share and cite publications

Publications by T. SASAO

BDD Representation for Incompletely Specified Multiple-Output Logic Functions and Its Applications to the Design of LUT Cascades

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

Electronic Engineering

Computer Graphics

Signal Processing

Applied Mathematics

Computer-Aided Design

English

Related publications

Methods of Partial Logic for Knowledge Representation and Deductive Reasoning in Incompletely Specified Domains

English

Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability

IPSJ Transactions on System LSI Design Methodology

Electronic Engineering

Computer Science Applications

English

Exact and Heuristic Algorithms for the Minimization of Incompletely Specified State Machines

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Computer Graphics

Computer-Aided Design

Electronic Engineering

English

Cell Based Design Methodology for BDD SFQ Logic Circuits: A High Speed Test and Feasibility for Large Scale Circuit Applications

IEEE Transactions on Applied Superconductivity

Electronic Engineering

Condensed Matter Physics

Magnetic Materials

English

Exact and Heuristic Algorithms for the Minimization of Incompletely Specified State Machines

English

Integral Representation of Smooth Functions in Weight Classes and Its Applications

Nagoya Mathematical Journal

English

New Approach to the State Reduction in Incompletely Specified Sequential Machines

English

Design of Hybrid LUT/MUX FPGA Logic Architecture for Size Reduction and Performance Improvement in FPGA

International Journal of Innovative Technology and Exploring Engineering

Mechanics of Materials

Electronic Engineering

Structural Engineering

Computer Science

English

The Successor Representation: Its Computational Logic and Neural Substrates

Journal of Neuroscience

English