Image de couverture de livre

Practical Boolean Decomposition for Delay-driven LUT Mapping

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Calvino, Alessandro Tempia, Mishchenko, Alan, De Micheli, Giovanni, Brayton, Robert
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Rings and Boolean Algebras as Algebraic Theories
par: De Faveri, Arturo
Publié: (2025)

Towards Multiphase Clocking in Single-Flux Quantum Systems
par: Bairamkulov, Rassul, et autres
Publié: (2024)

Boolean basis, formula size, and number of modal operators
par: Berkholz, Christoph, et autres
Publié: (2024)

Satisfiability of Quantified Boolean Announcements
par: van Ditmarsch, Hans, et autres
Publié: (2022)

Symmetries of Dependency Quantified Boolean Formulas
par: Hofstadler, Clemens, et autres
Publié: (2024)

Structural Analysis of Boolean Equation Systems
par: Keiren, Jeroen, et autres
Publié: (2010)

Compositional Control-Driven Boolean Circuits
par: Arellanes, Damian
Publié: (2025)

On Top-Down Pseudo-Boolean Model Counting
par: Yang, Suwei, et autres
Publié: (2025)

Linear Decomposition of the Majority Boolean Function using the Ones on Smaller Variables
par: Chattopadhyay, Anupam, et autres
Publié: (2025)

Bringing memory to Boolean networks: a unifying framework
par: Gadouleau, Maximilien, et autres
Publié: (2024)

Bridging abstract dialectical argumentation and Boolean gene regulation
par: Azpeitia, Eugenio, et autres
Publié: (2024)

Simplifier: A New Tool for Boolean Circuit Simplification
par: Averkov, Daniil, et autres
Publié: (2025)

Denotational semantics driven simplicial homology?
par: Barbarossa, Davide
Publié: (2024)

Deciding Boolean Separation Logic via Small Models (Technical Report)
par: Dacík, Tomáš, et autres
Publié: (2024)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
par: Kabir, Mohimenul, et autres
Publié: (2025)

On the Number of Quantifiers Needed to Define Boolean Functions
par: Carmosino, Marco, et autres
Publié: (2024)

Model Counting for Dependency Quantified Boolean Formulas
par: Fung, Long-Hin, et autres
Publié: (2025)

Logics with probabilistic team semantics and the Boolean negation
par: Hannula, Miika, et autres
Publié: (2023)

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
par: Keiren, Jeroen J. A., et autres
Publié: (2013)

On the number of asynchronous attractors in AND-NOT Boolean networks
par: Trinh, Van-Giang, et autres
Publié: (2025)

On the Boolean Network Theory of Datalog$^\neg$
par: Trinh, Van-Giang, et autres
Publié: (2025)

Scalable Interconnect Learning in Boolean Networks
par: Kresse, Fabian, et autres
Publié: (2025)

Boolean proportions
par: Antić, Christian
Publié: (2021)

Delay-Optimum Adder Circuits with Linear Size
par: Brenner, Ulrich, et autres
Publié: (2024)

A Linear Temporal Logic of Frequencies on Series of Events
par: Antonelli, Melissa, et autres
Publié: (2026)

Static Analysis of Logic Programs via Boolean Networks
par: Trinh, Van-Giang, et autres
Publié: (2024)

Towards Projected and Incremental Pseudo-Boolean Model Counting
par: Yang, Suwei, et autres
Publié: (2024)

Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras
par: Dawar, Anuj, et autres
Publié: (2026)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
par: Szeider, Stefan
Publié: (2026)

Boolean Matrix Logic Programming on the GPU
par: Ai, Lun
Publié: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
par: Das, Anupam, et autres
Publié: (2024)

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness
par: Derkinderen, Vincent
Publié: (2024)

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
par: Averkov, Daniil, et autres
Publié: (2024)

Power Term Polynomial Algebra for Boolean Logic
par: Sansone, Emanuele, et autres
Publié: (2026)

Decomposition horizons and a characterization of stable hereditary classes of graphs
par: Braunfeld, Samuel, et autres
Publié: (2022)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
par: Wernhard, Christoph
Publié: (2017)

Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks
par: Haar, Stefan, et autres
Publié: (2025)

Undecidability of theories of semirings with fixed points
par: Das, Anupam, et autres
Publié: (2025)

The Unit Gap: How Sharing Works in Boolean Circuits
par: Krinkin, Kirill
Publié: (2026)