Copertina

Breaking Symmetries with Involutions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Codish, Michael, Janota, Mikoláš
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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)

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

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

Reintroducing the Second Player in EPR
di: Chew, Leroy, et al.
Pubblicazione: (2026)

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

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

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

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)

Automatic Generation of Polynomial Symmetry Breaking Constraints
di: Erascu, Madalina, et al.
Pubblicazione: (2026)

Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
di: Anders, Markus, et al.
Pubblicazione: (2025)

Principal Types as Partial Involutions
di: Honsell, Furio, et al.
Pubblicazione: (2024)

Choiceless Computation and Symmetry: Limitations of Definability
di: Pago, Benedikt
Pubblicazione: (2024)

Symmetries of Dependency Quantified Boolean Formulas
di: Hofstadler, Clemens, et al.
Pubblicazione: (2024)

Embedded Finite Models Beyond Restricted Quantifier Collapse
di: Benedikt, Michael, et al.
Pubblicazione: (2023)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
di: Pinsker, Michael, et al.
Pubblicazione: (2025)

An order out of nowhere: a new algorithm for infinite-domain CSPs
di: Mottet, Antoine, et al.
Pubblicazione: (2023)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

When Symmetry Yields NP-Hardness: Affine ML-SAT on S5 Frames
di: Krebs, Andreas, et al.
Pubblicazione: (2025)

Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates
di: Zhu, Shaowei, et al.
Pubblicazione: (2024)

From learnable objects to learnable random objects
di: Anderson, Aaron, et al.
Pubblicazione: (2025)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
di: Benedikt, Michael, et al.
Pubblicazione: (2026)

Symmetries in Sorting
di: Choudhury, Vikraman, et al.
Pubblicazione: (2025)

When Darwin met Ianus: dichotomies of expressivity
di: Brunar, Johanna, et al.
Pubblicazione: (2025)

Strict universes for Grothendieck topoi
di: Gratzer, Daniel, et al.
Pubblicazione: (2022)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
di: Livson, Ori, et al.
Pubblicazione: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
di: Oda, Yukihiro
Pubblicazione: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
di: Gaßner, Christine
Pubblicazione: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
di: Artale, Alessandro, et al.
Pubblicazione: (2025)