Copertina

Complete Symmetry Breaking for Finite Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Dančo, Marek, Janota, Mikoláš, Codish, Michael, Araújo, João Jorge
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 with Involutions
di: Codish, Michael, et al.
Pubblicazione: (2025)

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

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

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

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

Cube-based Isomorph-free Finite Model Finding
di: Chow, Choiwah, 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)

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

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

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

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

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

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

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)

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

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

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

Completeness of Finitely Weighted Kleene Algebra With Tests
di: Sedlár, Igor
Pubblicazione: (2024)

A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
di: Bergstra, Jan A, et al.
Pubblicazione: (2023)

The Pebble-Relation Comonad in Finite Model Theory
di: Montacute, Yoàv, et al.
Pubblicazione: (2021)

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

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

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)

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

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

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

Complete representation by partial functions for signatures containing antidomain restriction
di: McLean, Brett
Pubblicazione: (2023)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

Completeness of Relational Algebra via Cylindric Algebra
di: Laštovička, Jan
Pubblicazione: (2026)

The Relational Quotient Completion
di: Dagnino, Francesco, et al.
Pubblicazione: (2024)

Partially Finite Model Reasoning in Description Logics Extended Version
di: Gogacz, Tomasz, et al.
Pubblicazione: (2026)

Intrinsic and relative characterization results for logics with negative modalities
di: de Groot, Jim, et al.
Pubblicazione: (2025)

A Complete Graphical Language for Linear Optical Circuits with Finite-Photon-Number Sources and Detectors
di: Heurtel, Nicolas
Pubblicazione: (2024)

Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators
di: Kikot, Stanislav, et al.
Pubblicazione: (2017)

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