Copertina

Reintroducing the Second Player in EPR

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chew, Leroy, Janota, Mikoláš, Olšák, Miroslav, Suda, Martin
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

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
di: Janota, Mikoláš, et al.
Pubblicazione: (2026)

Symbolic Computation for All the Fun
di: Brown, Chad E., et al.
Pubblicazione: (2024)

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

SMT and Functional Equation Solving over the Reals: Challenges from the IMO
di: Brown, Chad E., et al.
Pubblicazione: (2025)

Breaking Symmetries with Involutions
di: Codish, Michael, et al.
Pubblicazione: (2025)

Breaking Symmetries from a Set-Covering Perspective
di: Codish, Michael, et al.
Pubblicazione: (2025)

Quantifier Instantiations: To Mimic or To Revolt?
di: Jakubův, Jan, et al.
Pubblicazione: (2025)

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

Towards Learning Infinite SMT Models (Work in Progress)
di: Janota, Mikoláš, et al.
Pubblicazione: (2025)

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

First Experiments with Neural cvc5
di: Piepenbrock, Jelle, et al.
Pubblicazione: (2025)

Cube-based Isomorph-free Finite Model Finding
di: Chow, Choiwah, et al.
Pubblicazione: (2025)

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
di: Ratschan, Stefan, et al.
Pubblicazione: (2026)

Breaking Symmetries in Quantified Graph Search: A Comparative Study
di: Janota, Mikoláš, et al.
Pubblicazione: (2025)

Complete Symmetry Breaking for Finite Models
di: Dančo, Marek, et al.
Pubblicazione: (2025)

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

SAT-Based Techniques for Lexicographically Smallest Finite Models
di: Janota, Mikoláš, et al.
Pubblicazione: (2025)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
di: Jakubův, Jan, et al.
Pubblicazione: (2024)

Machine Learning for Quantifier Selection in cvc5
di: Jakubův, Jan, et al.
Pubblicazione: (2024)

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

Better Extension Variables in DQBF via Independence
di: Chew, Leroy, et al.
Pubblicazione: (2025)

Towards Uniform Certification in QBF
di: Chew, Leroy, et al.
Pubblicazione: (2022)

On Proof Systems for #QBF
di: Chede, Sravanthi, et al.
Pubblicazione: (2026)

An Expansion-Based Approach for Quantified Integer Programming
di: Hartisch, Michael, et al.
Pubblicazione: (2025)

Efficient Neural Clause-Selection Reinforcement
di: Suda, Martin
Pubblicazione: (2025)

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

Hashing Modulo Context-Sensitive $α$-Equivalence
di: Blaauwbroek, Lasse, et al.
Pubblicazione: (2024)

Hammering Higher Order Set Theory
di: Brown, Chad E., et al.
Pubblicazione: (2025)

Traces via Strategies in Two-Player Games
di: Plummer, Benjamin, et al.
Pubblicazione: (2025)

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

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

The Complexity of Fragments of Second-Order HyperLTL
di: Regaud, Gaëtan, et al.
Pubblicazione: (2025)

The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic are Highly Undecidable
di: Chodil, Miroslav, et al.
Pubblicazione: (2025)

Monadic Second-Order Logic of Permutations
di: Jelínek, Vít, et al.
Pubblicazione: (2025)

An ASP-based approach to Solving General Stochastic Two-Player Games
di: He, Yifan, et al.
Pubblicazione: (2026)

The Parameterized Complexity of Learning Monadic Second-Order Logic
di: van Bergerem, Steffen, et al.
Pubblicazione: (2023)

Comodule Representations of Second-Order Functionals
di: Ahman, Danel, et al.
Pubblicazione: (2024)

A Lazy, Concurrent Convertibility Checker
di: Courant, Nathanaëlle, et al.
Pubblicazione: (2025)

On a Second-Order Version of Russellian Theory of Definite Descriptions
di: Petrukhin, Yaroslav
Pubblicazione: (2025)

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