Copertina

Completeness of Synthesis under Realizability Assumptions using Superposition

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Hajdu, Márton, Hozzová, Petra, Kovács, Laura, Wagner, Eva Maria
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Synthesis Benchmarks for Automated Reasoning
di: Hajdu, Márton, et al.
Pubblicazione: (2025)

Getting Saturated with Induction
di: Hajdu, Márton, et al.
Pubblicazione: (2024)

Program Synthesis in Saturation
di: Hozzová, Petra, et al.
Pubblicazione: (2024)

Rewriting and Inductive Reasoning
di: Hajdu, Márton, et al.
Pubblicazione: (2024)

Partial Redundancy in Saturation
di: Hajdu, Márton, et al.
Pubblicazione: (2025)

Saturating Sorting without Sorts
di: Georgiou, Pamina, et al.
Pubblicazione: (2024)

Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols
di: Hozzová, Petra, et al.
Pubblicazione: (2025)

Term Ordering Diagrams
di: Hajdu, Márton, et al.
Pubblicazione: (2025)

Lean on Vampire Proofs (Short Paper)
di: Bodingbauer, Jonas, et al.
Pubblicazione: (2026)

The Vampire Diary
di: Bártek, Filip, et al.
Pubblicazione: (2025)

From MBQI to Enumerative Instantiation and Back
di: Dančo, Marek, et al.
Pubblicazione: (2025)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
di: Hozzová, Petra, et al.
Pubblicazione: (2024)

Realizing the totally unordered structure of ordinals
di: Fontanella, Laura, et al.
Pubblicazione: (2025)

On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus
di: Waldmann, Uwe
Pubblicazione: (2024)

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
di: Jeanteur, Simon, et al.
Pubblicazione: (2023)

Positive Almost-Sure Termination of Polynomial Random Walks
di: Winkler, Lorenz, et al.
Pubblicazione: (2025)

Linear Loop Synthesis for Quadratic Invariants
di: Hitarth, S., et al.
Pubblicazione: (2023)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
di: Kihara, Takayuki
Pubblicazione: (2024)

Superposition with Delayed Unification
di: Bhayat, Ahmed, et al.
Pubblicazione: (2024)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
di: Asor, Ohad
Pubblicazione: (2026)

Finding Connections via Satisfiability Solving
di: Eisenhofer, Clemens, et al.
Pubblicazione: (2026)

Constraint Learning for Non-confluent Proof Search
di: Rawson, Michael, et al.
Pubblicazione: (2026)

Lazy Reimplication in Chronological Backtracking
di: Coutelier, Robin, et al.
Pubblicazione: (2025)

Spanning Matrices via Satisfiability Solving
di: Eisenhofer, Clemens, et al.
Pubblicazione: (2024)

Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols
di: Yatapanage, Nisansala P., et al.
Pubblicazione: (2023)

On the Completeness of Interpolation Algorithms
di: Hetzl, Stefan, et al.
Pubblicazione: (2024)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
di: Lyon, Tim S.
Pubblicazione: (2024)

Completions of Kleene's second model
di: Terwijn, Sebastiaan A.
Pubblicazione: (2023)

Revisiting Assumptions Ordering in CAR-Based Model Checking
di: Dong, Yibo, et al.
Pubblicazione: (2024)

Groupoidal Realizability for Intensional Type Theory
di: Speight, Sam
Pubblicazione: (2024)

Realizability in Semantics-Guided Synthesis Done Eagerly
di: Meyer, Roland, et al.
Pubblicazione: (2024)

Certificate-Aware Property-Directed Reachability
di: Ferdowsi, Arman, et al.
Pubblicazione: (2026)

On Solving String Equations via Powers and Parikh Images
di: Eisenhofer, Clemens, et al.
Pubblicazione: (2026)

SAT-Based Subsumption Resolution
di: Coutelier, Robin, et al.
Pubblicazione: (2024)

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

Complete and Terminating Tableau Calculus for Undirected Graph
di: Nishimura, Yuki, et al.
Pubblicazione: (2024)

Constrained Assumption-Based Argumentation Frameworks
di: De Angelis, Emanuele, et al.
Pubblicazione: (2026)

Proof-Theoretic Functional Completeness for the Connexive Logic C
di: Ayhan, Sara, et al.
Pubblicazione: (2025)

Stateful Realizers for Nonstandard Analysis
di: Dinis, Bruno, et al.
Pubblicazione: (2022)

Some General Completeness Results for Propositionally Quantified Modal Logics
di: Ding, Yifeng, et al.
Pubblicazione: (2024)