Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by A. Mishc
Symmetry Detection for Large Boolean Functions Using Circuit Representation, Simulation, and Satisfiability
Proceedings - Design Automation Conference
Control
Systems Engineering
Electronic Engineering
Simulation
Hardware
Computer Science Applications
Electrical
Architecture
Modeling
Related publications
Shatter: Efficient Symmetry-Breaking for Boolean Satisfiability
Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving
Symbolic Manipulation of Boolean Functions Using a Graphical Representation
Using Non-Symmetry and Anti-Packing Representation Model for Object Detection
The Monotone Circuit Complexity of Boolean Functions
Combinatorica
Combinatorics
Computational Mathematics
Discrete Mathematics
Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability
IPSJ Transactions on System LSI Design Methodology
Electronic Engineering
Computer Science Applications
Electrical
Boolean Satisfiability With Transitivity Constraints
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Boolean Satisfiability in Quantum Compilation
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
