Buchumschlag

Compositional Control-Driven Boolean Circuits

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Arellanes, Damian
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Colimit-Based Composition of High-Level Computing Devices
von: Arellanes, Damian
Veröffentlicht: (2026)

Models of High-Level Computation
von: Arellanes, Damian
Veröffentlicht: (2024)

Simplifier: A New Tool for Boolean Circuit Simplification
von: Averkov, Daniil, et al.
Veröffentlicht: (2025)

Rings and Boolean Algebras as Algebraic Theories
von: De Faveri, Arturo
Veröffentlicht: (2025)

Compositional Separation of Control Flow and Data Flow
von: Arellanes, Damian
Veröffentlicht: (2023)

Boolean basis, formula size, and number of modal operators
von: Berkholz, Christoph, et al.
Veröffentlicht: (2024)

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness
von: Derkinderen, Vincent
Veröffentlicht: (2024)

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
von: Averkov, Daniil, et al.
Veröffentlicht: (2024)

The Unit Gap: How Sharing Works in Boolean Circuits
von: Krinkin, Kirill
Veröffentlicht: (2026)

Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem
von: Barile, Adriano, et al.
Veröffentlicht: (2024)

Satisfiability of Quantified Boolean Announcements
von: van Ditmarsch, Hans, et al.
Veröffentlicht: (2022)

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
von: Keiren, Jeroen J. A., et al.
Veröffentlicht: (2013)

Symmetries of Dependency Quantified Boolean Formulas
von: Hofstadler, Clemens, et al.
Veröffentlicht: (2024)

Structural Analysis of Boolean Equation Systems
von: Keiren, Jeroen, et al.
Veröffentlicht: (2010)

On Top-Down Pseudo-Boolean Model Counting
von: Yang, Suwei, et al.
Veröffentlicht: (2025)

Bringing memory to Boolean networks: a unifying framework
von: Gadouleau, Maximilien, et al.
Veröffentlicht: (2024)

Practical Boolean Decomposition for Delay-driven LUT Mapping
von: Calvino, Alessandro Tempia, et al.
Veröffentlicht: (2024)

Bridging abstract dialectical argumentation and Boolean gene regulation
von: Azpeitia, Eugenio, et al.
Veröffentlicht: (2024)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

Deciding Boolean Separation Logic via Small Models (Technical Report)
von: Dacík, Tomáš, et al.
Veröffentlicht: (2024)

Model Counting for Dependency Quantified Boolean Formulas
von: Fung, Long-Hin, et al.
Veröffentlicht: (2025)

On the Number of Quantifiers Needed to Define Boolean Functions
von: Carmosino, Marco, et al.
Veröffentlicht: (2024)

Logics with probabilistic team semantics and the Boolean negation
von: Hannula, Miika, et al.
Veröffentlicht: (2023)

On the number of asynchronous attractors in AND-NOT Boolean networks
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2025)

On the Boolean Network Theory of Datalog$^\neg$
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2025)

Scalable Interconnect Learning in Boolean Networks
von: Kresse, Fabian, et al.
Veröffentlicht: (2025)

Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications
von: Rashid, Adnan, et al.
Veröffentlicht: (2024)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
von: Orvalho, Pedro, et al.
Veröffentlicht: (2025)

Boolean proportions
von: Antić, Christian
Veröffentlicht: (2021)

A Compositional Atlas for Algebraic Circuits
von: Wang, Benjie, et al.
Veröffentlicht: (2024)

Static Analysis of Logic Programs via Boolean Networks
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2024)

Towards Projected and Incremental Pseudo-Boolean Model Counting
von: Yang, Suwei, et al.
Veröffentlicht: (2024)

Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras
von: Dawar, Anuj, et al.
Veröffentlicht: (2026)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
von: Szeider, Stefan
Veröffentlicht: (2026)

Boolean Matrix Logic Programming on the GPU
von: Ai, Lun
Veröffentlicht: (2024)

Delay-Optimum Adder Circuits with Linear Size
von: Brenner, Ulrich, et al.
Veröffentlicht: (2024)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
von: Mannucci, Mirco A., et al.
Veröffentlicht: (2025)

A Dichotomy Theorem for Ordinal Ranks in MSO
von: Niwiński, Damian, et al.
Veröffentlicht: (2025)

On the Computability of Measures of Regular Sets of Infinite Trees
von: Niwiński, Damian, et al.
Veröffentlicht: (2023)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
von: Mannucci, Mirco A., et al.
Veröffentlicht: (2026)