Copertina

Cube-based Isomorph-free Finite Model Finding

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chow, Choiwah, Janota, Mikoláš, Araújo, João
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

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

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

Experimental Results for Vampire on the Equational Theories Project
di: Janota, Mikoláš
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)

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)

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)

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)

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

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

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)

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)

Portus: Linking Alloy with SMT-based Finite Model Finding
di: Dancy, Ryan, et al.
Pubblicazione: (2024)

Cubing for Tuning
di: Wu, Haoze, et al.
Pubblicazione: (2025)

Type Isomorphisms for Multiplicative-Additive Linear Logic
di: Di Guardia, Rémi, et al.
Pubblicazione: (2024)

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

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

Dynamic Planar Graph Isomorphism is in DynFO
di: Datta, Samir, et al.
Pubblicazione: (2026)

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
di: Elad, Neta, et al.
Pubblicazione: (2023)

The Modal Cube Revisited: Semantics without Worlds (Technical Report)
di: Leme, Renato, et al.
Pubblicazione: (2025)

Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism
di: Berkholz, Christoph, et al.
Pubblicazione: (2024)

Cut-elimination for the alternation-free modal mu-calculus
di: Afshari, Bahareh, et al.
Pubblicazione: (2025)

Cut-free Deductive System for Continuous Intuitionistic Logic
di: Geoffroy, Guillaume
Pubblicazione: (2025)

Subgraph Isomorphism: Prolog vs. Conventional
di: Yin, Claire Y., et al.
Pubblicazione: (2025)

Bounded Structural Model Finding with Symbolic Data Constraints
di: Boronat, Artur
Pubblicazione: (2026)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
di: Atserias, Albert, et al.
Pubblicazione: (2024)

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

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
di: Hader, Thomas, et al.
Pubblicazione: (2024)

On the Interplay of Cube Learning and Dependency Schemes in QCDCL Proof Systems
di: Choudhury, Abhimanyu, et al.
Pubblicazione: (2025)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)

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