Buchumschlag

Reintroducing the Second Player in EPR

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chew, Leroy, Janota, Mikoláš, Olšák, Miroslav, Suda, Martin
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

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
von: Janota, Mikoláš, et al.
Veröffentlicht: (2026)

Symbolic Computation for All the Fun
von: Brown, Chad E., et al.
Veröffentlicht: (2024)

Experimental Results for Vampire on the Equational Theories Project
von: Janota, Mikoláš
Veröffentlicht: (2025)

SMT and Functional Equation Solving over the Reals: Challenges from the IMO
von: Brown, Chad E., et al.
Veröffentlicht: (2025)

Breaking Symmetries with Involutions
von: Codish, Michael, et al.
Veröffentlicht: (2025)

Breaking Symmetries from a Set-Covering Perspective
von: Codish, Michael, et al.
Veröffentlicht: (2025)

Quantifier Instantiations: To Mimic or To Revolt?
von: Jakubův, Jan, et al.
Veröffentlicht: (2025)

Case Study: Saturations as Explicit Models in Equational Theories
von: Janota, Mikoláš, et al.
Veröffentlicht: (2026)

Towards Learning Infinite SMT Models (Work in Progress)
von: Janota, Mikoláš, et al.
Veröffentlicht: (2025)

From MBQI to Enumerative Instantiation and Back
von: Dančo, Marek, et al.
Veröffentlicht: (2025)

First Experiments with Neural cvc5
von: Piepenbrock, Jelle, et al.
Veröffentlicht: (2025)

Cube-based Isomorph-free Finite Model Finding
von: Chow, Choiwah, et al.
Veröffentlicht: (2025)

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
von: Ratschan, Stefan, et al.
Veröffentlicht: (2026)

Breaking Symmetries in Quantified Graph Search: A Comparative Study
von: Janota, Mikoláš, et al.
Veröffentlicht: (2025)

Complete Symmetry Breaking for Finite Models
von: Dančo, Marek, et al.
Veröffentlicht: (2025)

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
von: Orvalho, Pedro, et al.
Veröffentlicht: (2024)

SAT-Based Techniques for Lexicographically Smallest Finite Models
von: Janota, Mikoláš, et al.
Veröffentlicht: (2025)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
von: Jakubův, Jan, et al.
Veröffentlicht: (2024)

Machine Learning for Quantifier Selection in cvc5
von: Jakubův, Jan, et al.
Veröffentlicht: (2024)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
von: Orvalho, Pedro, et al.
Veröffentlicht: (2025)

Better Extension Variables in DQBF via Independence
von: Chew, Leroy, et al.
Veröffentlicht: (2025)

Towards Uniform Certification in QBF
von: Chew, Leroy, et al.
Veröffentlicht: (2022)

On Proof Systems for #QBF
von: Chede, Sravanthi, et al.
Veröffentlicht: (2026)

An Expansion-Based Approach for Quantified Integer Programming
von: Hartisch, Michael, et al.
Veröffentlicht: (2025)

Efficient Neural Clause-Selection Reinforcement
von: Suda, Martin
Veröffentlicht: (2025)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
von: Komel, Anja Petković, et al.
Veröffentlicht: (2025)

Hashing Modulo Context-Sensitive $α$-Equivalence
von: Blaauwbroek, Lasse, et al.
Veröffentlicht: (2024)

Hammering Higher Order Set Theory
von: Brown, Chad E., et al.
Veröffentlicht: (2025)

Traces via Strategies in Two-Player Games
von: Plummer, Benjamin, et al.
Veröffentlicht: (2025)

Regularization in Spider-Style Strategy Discovery and Schedule Construction
von: Bártek, Filip, et al.
Veröffentlicht: (2024)

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

The Complexity of Fragments of Second-Order HyperLTL
von: Regaud, Gaëtan, et al.
Veröffentlicht: (2025)

The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic are Highly Undecidable
von: Chodil, Miroslav, et al.
Veröffentlicht: (2025)

Monadic Second-Order Logic of Permutations
von: Jelínek, Vít, et al.
Veröffentlicht: (2025)

An ASP-based approach to Solving General Stochastic Two-Player Games
von: He, Yifan, et al.
Veröffentlicht: (2026)

The Parameterized Complexity of Learning Monadic Second-Order Logic
von: van Bergerem, Steffen, et al.
Veröffentlicht: (2023)

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

A Lazy, Concurrent Convertibility Checker
von: Courant, Nathanaëlle, et al.
Veröffentlicht: (2025)

On a Second-Order Version of Russellian Theory of Definite Descriptions
von: Petrukhin, Yaroslav
Veröffentlicht: (2025)

The Vampire Diary
von: Bártek, Filip, et al.
Veröffentlicht: (2025)