Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gianpiero Cabodi
Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Advancements in Symbolic Traversal Techniques
Related publications
Symbolic Manipulation of Boolean Functions Using a Graphical Representation
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
Symbolic Dynamics of Boolean Control Networks
Automatica
Control
Systems Engineering
Electrical
Electronic Engineering
A Topological Representation of Double Boolean Lattices
Studia Universitatis Babes-Bolyai Mathematica
Mathematics
Dirichlet Product for Boolean Functions
Journal of Applied Mathematics and Computing
Computational Mathematics
Applied Mathematics
Managing Decomposed Belief Functions
A Sprouting Tree Model for Random Boolean Functions
Random Structures and Algorithms
Mathematics
Applied Mathematics
Computer Graphics
Computer-Aided Design
Software
1d-Sax: A Novel Symbolic Representation for Time Series
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On a Conjecture for Balanced Symmetric Boolean Functions
Journal of Mathematical Cryptology
Computational Mathematics
Applied Mathematics
Computer Science Applications
