scientific article; zbMATH DE number 918600
From MaRDI portal
Publication:4888830
zbMath0861.94035MaRDI QIDQ4888830
Gary D. Hachtel, Fabio Somenzi
Publication date: 21 August 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
test pattern generationlogic synthesisfinite state machinesdesign automationcircuit designverification methods
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to information and communication theory (94-01)
Related Items
Transformation rules for CNOT-based quantum circuits and their applications, SAT-Based Formula Simplification, Lower bounds on the OBDD size of two fundamental functions' graphs, Coverage metrics for temporal logic model checking, Factoring Boolean functions using graph partitioning, Symbolic model checking for channel-based component connectors, General Boolean Function Benchmark Suite, Finding and fixing faults, Branching vs. Linear Time: Semantical Perspective, Synthesis of Reactive(1) designs, Noise-based logic hyperspace with the superposition of \(2^N\) states in a single wire, Synthesis of autosymmetric functions in a new three-level form, Minimization of decision trees is hard to approximate, New developments in the theory of Gröbner bases and applications to formal verification, Polybori: A framework for Gröbner-basis computations with Boolean polynomials, A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas, A LATTICE-BASED APPROACH TO THE PROBLEM OF RECRUITMENT IN MULTIAGENT SYSTEMS, Optimal axiomatizations of finitely valued logics, Iterative and core-guided maxsat solving: a survey and assessment, Bi-decomposition of multi-valued logical functions and its applications
