Imagen de Portada

The Vampire Diary

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bártek, Filip, Bhayat, Ahmed, Coutelier, Robin, Hajdu, Márton, Hetzenberger, Matthias, Hozzová, Petra, Kovács, Laura, Rath, Jakob, Rawson, Michael, Reger, Giles, Suda, Martin, Schoisswohl, Johannes, Voronkov, Andrei
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Vampire
por: Bártek, Filip, et al.
Publicado: (2025)

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

Term Ordering Diagrams
por: Hajdu, Márton, et al.
Publicado: (2025)

SAT-Based Subsumption Resolution
por: Coutelier, Robin, et al.
Publicado: (2024)

Superposition with Delayed Unification
por: Bhayat, Ahmed, et al.
Publicado: (2024)

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

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

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

SAT Solving for Variants of First-Order Subsumption
por: Coutelier, Robin, et al.
Publicado: (2024)

Program Synthesis in Saturation
por: Hozzová, Petra, et al.
Publicado: (2024)

Completeness of Synthesis under Realizability Assumptions using Superposition
por: Hajdu, Márton, et al.
Publicado: (2026)

A Higher-Order Vampire (Short Paper)
por: Bhayat, Ahmed, et al.
Publicado: (2024)

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

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
por: Komel, Anja Petković, et al.
Publicado: (2025)

Lazy Reimplication in Chronological Backtracking
por: Coutelier, Robin, et al.
Publicado: (2025)

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

When Agda met Vampire
por: Šinkarovs, Artjoms, et al.
Publicado: (2026)

Regularization in Spider-Style Strategy Discovery and Schedule Construction
por: Bártek, Filip, et al.
Publicado: (2024)

Saturating Sorting without Sorts
por: Georgiou, Pamina, et al.
Publicado: (2024)

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

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

To Zip Through the Cost Analysis of Probabilistic Programs
por: Hetzenberger, Matthias, et al.
Publicado: (2025)

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

Finding Connections via Satisfiability Solving
por: Eisenhofer, Clemens, et al.
Publicado: (2026)

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

Spanning Matrices via Satisfiability Solving
por: Eisenhofer, Clemens, et al.
Publicado: (2024)

PolySAT: Word-level Bit-vector Reasoning in Z3
por: Rath, Jakob, et al.
Publicado: (2024)

Term Orders for Optimistic Lambda-Superposition
por: Bentkamp, Alexander, et al.
Publicado: (2025)

Optimistic Higher-Order Superposition
por: Bentkamp, Alexander, et al.
Publicado: (2025)

Experimental Results for Vampire on the Equational Theories Project
por: Janota, Mikoláš
Publicado: (2025)

The Finite Length Property of the Rado Graph and Friends
por: Yang, Jingjie, et al.
Publicado: (2026)

Subvarieties of pointed Abelian l-groups
por: Jankovec, Filip
Publicado: (2025)

Case Study: Saturations as Explicit Models in Equational Theories
por: Janota, Mikoláš, et al.
Publicado: (2026)

Efficient Neural Clause-Selection Reinforcement
por: Suda, Martin
Publicado: (2025)

Scaling CheckMate for Game-Theoretic Security
por: Rain, Sophie, et al.
Publicado: (2024)

Foundations of probability-raising causality in Markov decision processes
por: Baier, Christel, et al.
Publicado: (2022)

Cardinal characteristics associated with small subsets of reals
por: Cardona, Miguel A., et al.
Publicado: (2024)

Relative cofinality of ideals
por: Marton, Adam, et al.
Publicado: (2025)

Formal Quality Measures for Predictors in Markov Decision Processes
por: Baier, Christel, et al.
Publicado: (2024)

Satisfiability in Łukasiewicz logic and its unbounded relative
por: Haniková, Zuzana, et al.
Publicado: (2025)