Buchumschlag

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Li, Zhengyu, Duggan, Conor, Bright, Curtis, Ganesh, Vijay
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Discrete Mathematics Symbolic Computation Combinatorics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Symbolic Sets for Proving Bounds on Rado Numbers
von: Ahmed, Tanbir, et al.
Veröffentlicht: (2025)

SAT and Lattice Reduction for Integer Factorization
von: Ajani, Yameen, et al.
Veröffentlicht: (2024)

SHA-256 Collision Attack with Programmatic SAT
von: Alamgir, Nahiyan, et al.
Veröffentlicht: (2024)

Queen Domination by SAT Solving
von: Rostami, Taha, et al.
Veröffentlicht: (2025)

North-East Lattice Paths Avoiding $k$ Collinear Points via Satisfiability
von: Barnoff, Aaron, et al.
Veröffentlicht: (2025)

Reasoning About Action and Change
von: de Saint-Cyr, Florence Dupin, et al.
Veröffentlicht: (2024)

Algebraic anti-unification
von: Antić, Christian
Veröffentlicht: (2024)

A Rank 23 Algorithm for Multiplying 3 x 3 Matrices with an Arithmetic Complexity of 59
von: Mårtensson, Erik, et al.
Veröffentlicht: (2025)

Improving SAT Solvers on Orthogonal Latin Square Problems
von: Barnoff, Aaron, et al.
Veröffentlicht: (2026)

Bounding the Weisfeiler-Leman Dimension via a Depth Analysis of I/R-Trees
von: Kiefer, Sandra, et al.
Veröffentlicht: (2024)

Positivity sets of hinge functions
von: Schicho, Josef, et al.
Veröffentlicht: (2025)

New Results on Periodic Golay Pairs
von: Lumsden, Tyler, et al.
Veröffentlicht: (2024)

3D-grids are not transducible from planar graphs
von: Gajarský, Jakub, et al.
Veröffentlicht: (2025)

A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem
von: Li, Zhengyu, et al.
Veröffentlicht: (2023)

SAT-Solving the Poset Cover Problem
von: Yuan, Chih-Cheng Rex, et al.
Veröffentlicht: (2025)

Advances in Algorithmic Meta Theorems
von: Siebertz, Sebastian, et al.
Veröffentlicht: (2024)

Separability Properties of Monadically Dependent Graph Classes
von: Bonnet, Édouard, et al.
Veröffentlicht: (2025)

Existential Positive Transductions of Sparse Graphs
von: Mählmann, Nikolas, et al.
Veröffentlicht: (2026)

Characterizations of monadically dependent tree-ordered weakly sparse structures
von: Buffière, Hector, et al.
Veröffentlicht: (2026)

Decomposition horizons and a characterization of stable hereditary classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

Epsilon-saturation for stable graphs and Littlestone classes
von: Malliaris, Maryanthe, et al.
Veröffentlicht: (2025)

On first-order transductions of classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO
von: Mählmann, Nikolas
Veröffentlicht: (2025)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
von: Dreier, Jan, et al.
Veröffentlicht: (2024)

SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set
von: Li, Zhengyu, et al.
Veröffentlicht: (2026)

First-order transducibility among classes of sparse graphs
von: Gajarský, Jakub, et al.
Veröffentlicht: (2025)

First order distinguishability of sparse random graphs
von: Hershko, Tal, et al.
Veröffentlicht: (2024)

Twin-width and permutations
von: Bonnet, Édouard, et al.
Veröffentlicht: (2021)

Distinguishing Graphs by Counting Homomorphisms from Sparse Graphs
von: Neuen, Daniel, et al.
Veröffentlicht: (2026)

An Upper Bound on the Weisfeiler-Leman Dimension
von: Schneider, Thomas, et al.
Veröffentlicht: (2024)

Super-linear Lower Bounds for CSP Non-Redundancy via Shrinking Instances
von: Brakensiek, Joshua, et al.
Veröffentlicht: (2026)

On the generalized coloring numbers
von: Siebertz, Sebastian
Veröffentlicht: (2025)

First-order logic axiomatization of metric graph theory
von: Chalopin, Jérémie, et al.
Veröffentlicht: (2022)

Transducing Linear Decompositions of Tournaments
von: Geniet, Colin, et al.
Veröffentlicht: (2026)

First-Order Logic and Twin-Width for Some Geometric Graphs
von: Geniet, Colin, et al.
Veröffentlicht: (2025)

Some remarks on the uncolored versions of the original CFI-graphs
von: Chen, Yijia, et al.
Veröffentlicht: (2025)

Going deep and going wide: Counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth
von: Adler, Isolde, et al.
Veröffentlicht: (2025)

First order complexity of finite random structures
von: Demin, Danila, et al.
Veröffentlicht: (2024)

Representing Piecewise-Linear Functions by Functions with Minimal Arity
von: Koutschan, Christoph, et al.
Veröffentlicht: (2024)

On Linear Representation, Complexity and Inversion of maps over finite fields
von: Anantharaman, Ramachandran, et al.
Veröffentlicht: (2020)