:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Calvino, Alessandro Tempia, Mishchenko, Alan, De Micheli, Giovanni, Brayton, Robert
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2406.06241
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Towards Multiphase Clocking in Single-Flux Quantum Systems
von: Bairamkulov, Rassul, et al.
Veröffentlicht: (2024)

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

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

Linear Decomposition of the Majority Boolean Function using the Ones on Smaller Variables
von: Chattopadhyay, Anupam, et al.
Veröffentlicht: (2025)

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)

Compositional Control-Driven Boolean Circuits
von: Arellanes, Damian
Veröffentlicht: (2025)

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)

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

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

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

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

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

Denotational semantics driven simplicial homology?
von: Barbarossa, Davide
Veröffentlicht: (2024)

Deciding Boolean Separation Logic via Small Models (Technical Report)
von: Dacík, Tomáš, 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)

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)

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

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

Boolean Matrix Logic Programming on the GPU
von: Ai, Lun
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)

A Linear Temporal Logic of Frequencies on Series of Events
von: Antonelli, Melissa, et al.
Veröffentlicht: (2026)

Boolean Variation and Boolean Logic BackPropagation
von: Nguyen, Van Minh
Veröffentlicht: (2023)

Power Term Polynomial Algebra for Boolean Logic
von: Sansone, Emanuele, et al.
Veröffentlicht: (2026)

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)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

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

Decomposition horizons and a characterization of stable hereditary classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

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

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
von: Wernhard, Christoph
Veröffentlicht: (2017)

Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks
von: Haar, Stefan, et al.
Veröffentlicht: (2025)