Copertina

On the Complexity of Proving Polyhedral Reductions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Amat, Nicolas, Zilio, Silvano Dal, Botlan, Didier Le
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
di: Amat, Nicolas, et al.
Pubblicazione: (2024)

Proving Behavioural Apartness
di: Turkenburg, Ruben, et al.
Pubblicazione: (2024)

Diagrammatic Polyhedral Algebra
di: Bonchi, Filippo, et al.
Pubblicazione: (2021)

Equational Theorem Proving for Clauses over Strings
di: Kim, Dohan
Pubblicazione: (2023)

On Randomized Computational Models and Complexity Classes: a Historical Overview
di: Antonelli, Melissa, et al.
Pubblicazione: (2024)

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2024)

Towards Proving Liveness on Weak Memory (Extended Version)
di: Bargmann, Lara, et al.
Pubblicazione: (2026)

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
di: Dardinier, Thibault, et al.
Pubblicazione: (2023)

LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Game
di: Kabra, Aditi, et al.
Pubblicazione: (2026)

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
di: Bernardo, Marco, et al.
Pubblicazione: (2024)

Semantic Foundations of Reductive Reasoning
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

Proving Confluence in the Confluence Framework with CONFident
di: Gutiérrez, Raúl, et al.
Pubblicazione: (2023)

Automated Theorem Proving for Prolog Verification
di: Mesnard, Fred, et al.
Pubblicazione: (2026)

A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version)
di: Ge, Rui, et al.
Pubblicazione: (2024)

Partial Label Learning for Automated Theorem Proving
di: Zombori, Zsolt, et al.
Pubblicazione: (2025)

Proving Circuit Functional Equivalence in Zero Knowledge
di: Shen, Sirui, et al.
Pubblicazione: (2026)

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
di: Liu, Chengwu, et al.
Pubblicazione: (2026)

Cyclic Implicit Complexity
di: Curzi, Gianluca, et al.
Pubblicazione: (2021)

Verifying Quantum Phase Estimation (QPE) using Prove-It
di: Witzel, Wayne M., et al.
Pubblicazione: (2023)

The Complexity of the Constructive Master Modality
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2026)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
di: Li, Jinzheng, et al.
Pubblicazione: (2026)

Pseudo-Complex Quantifier Elimination
di: Faroß, Nicolas, et al.
Pubblicazione: (2026)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
di: Pshenitsyn, Tikhon
Pubblicazione: (2023)

A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
di: Nguyên, Lê Thành Dũng, et al.
Pubblicazione: (2022)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
di: Lyon, Tim S., et al.
Pubblicazione: (2023)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
di: Grilletti, Gianluca, et al.
Pubblicazione: (2024)

Proof Complexity of Linear Logics
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2026)

Meta-Mathematics of Computational Complexity Theory
di: Oliveira, Igor C.
Pubblicazione: (2025)

Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4
di: Aniva, Leni, et al.
Pubblicazione: (2026)

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
di: Lamont, Sean, et al.
Pubblicazione: (2024)

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
di: Liang, Zhenwen, et al.
Pubblicazione: (2025)

On The Metric Nature of (Differential) Logical Relations
di: Lago, Ugo Dal, et al.
Pubblicazione: (2025)

On the Metric Nature of (Differential) Logical Relations
di: Lago, Ugo Dal, et al.
Pubblicazione: (2026)

Symbolic Sets for Proving Bounds on Rado Numbers
di: Ahmed, Tanbir, et al.
Pubblicazione: (2025)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
di: André, Étienne, et al.
Pubblicazione: (2023)

What are the Right Symmetries for Formal Theorem Proving?
di: Olejniczak, Krzysztof, et al.
Pubblicazione: (2026)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
di: Liu, Qi, et al.
Pubblicazione: (2025)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
di: Li, Sirui, et al.
Pubblicazione: (2025)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
di: Florath, Andreas
Pubblicazione: (2024)

Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction
di: Chardonnet, Kostia, et al.
Pubblicazione: (2026)