Buchumschlag

Simplifier: A New Tool for Boolean Circuit Simplification

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Averkov, Daniil, Emdin, Gregory, Krivogornitsyna, Viktoriia, Kulikov, Alexander S., Kurmazov, Fedor, Smal, Alexander, Vaskin, Vsevolod
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

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

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

Smaller Circuits for Bit Addition
von: Goncharov, Mikhail, et al.
Veröffentlicht: (2025)

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
von: Kozhemiachenko, Daniil
Veröffentlicht: (2024)

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

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)

Generalization of Variadic Structures with Binders: A Tool for Structural Code Comparison
von: Baumgartner, Alexander, et al.
Veröffentlicht: (2025)

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)

On Syntactical Simplification of Temporal Operators in Negation-free MTL
von: van Noort, Mathijs, et al.
Veröffentlicht: (2025)

Modal Logic for Reasoning About Uncertainty and Confusion
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

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

Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
von: Meseguer, Jose
Veröffentlicht: (2024)

Proof-theoretic Semantics for First-order Logic
von: Gheorghiu, Alexander V.
Veröffentlicht: (2024)

Support is Search
von: Gheorghiu, Alexander V.
Veröffentlicht: (2026)

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)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Complexity of Abduction in Łukasiewicz Logic
von: Inoue, Katsumi, et al.
Veröffentlicht: (2025)

Hyperintensional Intention
von: Khaitovich, Daniil, et al.
Veröffentlicht: (2025)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2026)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
von: Gheorghiu, Alexander V., 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)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2022)

Semantic Foundations of Reductive Reasoning
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm
von: Stevens, Lukas, et al.
Veröffentlicht: (2025)

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)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, 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)

Paraconsistent Constructive Modal Logic
von: Gao, Han, et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
von: Gu, Tao, et al.
Veröffentlicht: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)