Buchumschlag

Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wang, Jingren, Hu, Guangyu, Lin, Shiju, Zhang, Hongce
Format:	Preprint
Veröffentlicht:	2026
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

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
von: Zhou, Xiaofeng, et al.
Veröffentlicht: (2026)

Functional Reduction to Speed Up Bounded Model Checking
von: Yu, Changyuan, et al.
Veröffentlicht: (2025)

FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping
von: Yang, Ziyi, et al.
Veröffentlicht: (2025)

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
von: Liang, Xiaolong, et al.
Veröffentlicht: (2024)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
von: Chen, Chen, et al.
Veröffentlicht: (2025)

On Problems Dual to Unification: The String-Rewriting Case
von: Akçam, Zümrüt, et al.
Veröffentlicht: (2021)

Extended Resolution Clause Learning via Dual Implication Points
von: Buss, Sam, et al.
Veröffentlicht: (2024)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
von: Kaufmann, Daniela, et al.
Veröffentlicht: (2024)

Construction Defining Functionality:A Constructive Perspective on Functions through Their Generated Structures
von: Nishiyama, Yumiko
Veröffentlicht: (2025)

Reaching Classicality through Transitive Closure
von: Blomet, Quentin, et al.
Veröffentlicht: (2025)

On the Cut Elimination of Weak Intuitionistic Tense Logic
von: Wang, Yiheng, et al.
Veröffentlicht: (2024)

Proof-Theoretic Functional Completeness for the Connexive Logic C
von: Ayhan, Sara, et al.
Veröffentlicht: (2025)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
von: Lyon, Tim S.
Veröffentlicht: (2024)

DECIDER: A Dual-System Rule-Controllable Decoding Framework for Language Generation
von: Xu, Chen, et al.
Veröffentlicht: (2024)

Dual Computational Horizons: Incompleteness and Unpredictability in Intelligent Systems
von: Ganguly, Abhisek
Veröffentlicht: (2025)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
von: Nechesov, Andrey
Veröffentlicht: (2024)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
von: Tsukada, Takeshi, et al.
Veröffentlicht: (2025)

Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions
von: Doherty, Patrick, et al.
Veröffentlicht: (2023)

Diagonalizing Through the $ω$-Chain: Iterated Self-Certification on Bounded Turing Machines and its Least Fixed Point
von: Sung, Miara
Veröffentlicht: (2026)

A Note On Square-free Sequences and Anti-unification Type
von: Cerna, David M.
Veröffentlicht: (2024)

Self-Supervised Transformers as Iterative Solution Improvers for Constraint Satisfaction
von: Xu, Yudong W., et al.
Veröffentlicht: (2025)

Boolformer: Symbolic Regression of Logic Functions with Transformers
von: d'Ascoli, Stéphane, et al.
Veröffentlicht: (2023)

One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
von: Cerna, David M., et al.
Veröffentlicht: (2022)

Comodule Representations of Second-Order Functionals
von: Ahman, Danel, et al.
Veröffentlicht: (2024)

Self-Correcting Gossip Protocols
von: Cignarale, Giorgio, et al.
Veröffentlicht: (2026)

The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data
von: Bordg, Anthony
Veröffentlicht: (2026)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

A Logic of Secrecy on Simplicial Models
von: Wang, Shanxia
Veröffentlicht: (2026)

A Logic of Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

Higher-Order Weakest Precondition Transformers via a CPS Transformation
von: Kura, Satoshi
Veröffentlicht: (2023)

Dual Box Embeddings for the Description Logic EL++
von: Jackermeier, Mathias, et al.
Veröffentlicht: (2023)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
von: Mannucci, Mirco A.
Veröffentlicht: (2025)

Revisiting the Fast Fourier Transform in Rocq
von: Théry, Laurent
Veröffentlicht: (2022)

Finite Groundings for ASP with Functions: A Journey through Consistency
von: Gerlach, Lukas, et al.
Veröffentlicht: (2024)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Formal Primal-Dual Algorithm Analysis
von: Abdulaziz, Mohammad, et al.
Veröffentlicht: (2026)

An Approximate Skolem Function Counter
von: Shaw, Arijit, et al.
Veröffentlicht: (2023)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
von: De Domenico, Andrea, et al.
Veröffentlicht: (2024)

Formalising the Double-Pushout Approach to Graph Transformation
von: Söldner, Robert, et al.
Veröffentlicht: (2023)