Orthogonal Latin Squares of Order Ten with Two Relations: A SAT Investigation
Fuente:
arXiv
Saved in:
| Main Authors: | Bright, Curtis, Keita, Amadou, Stevens, Brett |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Myrvold's Results on Orthogonal Triples of $10 \times 10$ Latin Squares: A SAT Investigation
by: Bright, Curtis, et al.
Published: (2025)
by: Bright, Curtis, et al.
Published: (2025)
Improving SAT Solvers on Orthogonal Latin Square Problems
by: Barnoff, Aaron, et al.
Published: (2026)
by: Barnoff, Aaron, et al.
Published: (2026)
Relative position in binary substitutions
by: Coons, Michael, et al.
Published: (2024)
by: Coons, Michael, et al.
Published: (2024)
The random $k$-SAT Gibbs uniqueness threshold revisited
by: Chatterjee, Arnab, et al.
Published: (2025)
by: Chatterjee, Arnab, et al.
Published: (2025)
Universal partial tori
by: Carey, William D., et al.
Published: (2024)
by: Carey, William D., et al.
Published: (2024)
Word-Representability of Graphs with respect to Split Recomposition
by: Dwary, Tithi, et al.
Published: (2024)
by: Dwary, Tithi, et al.
Published: (2024)
Degree Realization by Bipartite Multigraphs
by: Bar-Noy, Amotz, et al.
Published: (2025)
by: Bar-Noy, Amotz, et al.
Published: (2025)
Structure and growth of $\mathbb{R}$-bonacci words
by: Dovgal, Sergey, et al.
Published: (2023)
by: Dovgal, Sergey, et al.
Published: (2023)
Extremal Results on Conflict-free Coloring
by: Bhyravarapu, Sriram, et al.
Published: (2023)
by: Bhyravarapu, Sriram, et al.
Published: (2023)
Transitive Sets of Mutually Orthogonal Latin Squares
by: Keita, Amadou, et al.
Published: (2026)
by: Keita, Amadou, et al.
Published: (2026)
Recovery of cyclic words by their subwords
by: Luchinin, Sergey, et al.
Published: (2024)
by: Luchinin, Sergey, et al.
Published: (2024)
Palindromic length of infinite aperiodic words
by: Rukavicka, Josef
Published: (2024)
by: Rukavicka, Josef
Published: (2024)
Subexponential upper bound on the number of rich words
by: Rukavicka, Josef
Published: (2025)
by: Rukavicka, Josef
Published: (2025)
String attractors and bi-infinite words
by: Béaur, Pierre, et al.
Published: (2024)
by: Béaur, Pierre, et al.
Published: (2024)
Additive word complexity and Walnut
by: Popoli, Pierre, et al.
Published: (2024)
by: Popoli, Pierre, et al.
Published: (2024)
On the pseudorandomness of Parry--Bertrand automatic sequences
by: Popoli, Pierre, et al.
Published: (2024)
by: Popoli, Pierre, et al.
Published: (2024)
Complexity of chess domination problems
by: Langlois-Rémillard, Alexis, et al.
Published: (2022)
by: Langlois-Rémillard, Alexis, et al.
Published: (2022)
Polygonal corona limit on multigrid dual tilings
by: Lutfalla, Victor, et al.
Published: (2024)
by: Lutfalla, Victor, et al.
Published: (2024)
Three-edge-coloring projective planar cubic graphs: A generalization of the Four Color Theorem
by: Inoue, Yuta, et al.
Published: (2024)
by: Inoue, Yuta, et al.
Published: (2024)
Exploring the Crochemore and Ziv-Lempel factorizations of some automatic sequences with the software Walnut
by: Jahannia, Marieh, et al.
Published: (2024)
by: Jahannia, Marieh, et al.
Published: (2024)
Graph theoretic and algorithmic aspect of the equitable coloring problem in block graphs
by: Furmańczyk, Hanna, et al.
Published: (2020)
by: Furmańczyk, Hanna, et al.
Published: (2020)
Skip Letters for Short Supersequence of All Permutations
by: Tan, Oliver
Published: (2022)
by: Tan, Oliver
Published: (2022)
Towards Characterization of 5-List-Colorability of Toroidal Graphs
by: Dvořák, Zdeněk, et al.
Published: (2024)
by: Dvořák, Zdeněk, et al.
Published: (2024)
The Parity-Constrained Four-Peg Tower of Hanoi Problem and Its Associated Graph
by: Mehiri, El-Mehdi
Published: (2025)
by: Mehiri, El-Mehdi
Published: (2025)
Trifferent codes with small lengths
by: Kurz, Sascha
Published: (2023)
by: Kurz, Sascha
Published: (2023)
Two-colorings of finite grids: variations on a theorem of Tibor Gallai
by: Dumitru, Bogdan, et al.
Published: (2025)
by: Dumitru, Bogdan, et al.
Published: (2025)
Factor-balancedness, linear recurrence, and factor complexity
by: Espinoza, Bastiàn, et al.
Published: (2026)
by: Espinoza, Bastiàn, et al.
Published: (2026)
Obstructions to return preservation for episturmian morphisms
by: Berthé, Valérie, et al.
Published: (2024)
by: Berthé, Valérie, et al.
Published: (2024)
The Existence and Structure of Universal Partial Cycles
by: Fillmore, Dylan, et al.
Published: (2023)
by: Fillmore, Dylan, et al.
Published: (2023)
String attractors of some simple-Parry automatic sequences
by: Gheeraert, France, et al.
Published: (2023)
by: Gheeraert, France, et al.
Published: (2023)
Functors on relational structures which admit both left and right adjoints
by: Dalmau, Víctor, et al.
Published: (2023)
by: Dalmau, Víctor, et al.
Published: (2023)
On the Regularity of Random 2-SAT and 3-SAT
by: Basse-O'Connor, Andreas, et al.
Published: (2025)
by: Basse-O'Connor, Andreas, et al.
Published: (2025)
An efficient algorithm for generating transmission irregular trees
by: Stošić, Ivan, et al.
Published: (2025)
by: Stošić, Ivan, et al.
Published: (2025)
Circular-arc H-graphs: Ordering Characterizations and Forbidden Patterns
by: Paul, Indrajit, et al.
Published: (2025)
by: Paul, Indrajit, et al.
Published: (2025)
An NP-hardness result for the colored constrained maximum 2-edge-colorable subgraph problem in bipartite graphs
by: Mkrtchyan, Vahan
Published: (2024)
by: Mkrtchyan, Vahan
Published: (2024)
Regular $K_3$-irregular graphs
by: Hak, Artem, et al.
Published: (2025)
by: Hak, Artem, et al.
Published: (2025)
A Note on Small Percolating Sets on Hypercubes via Generative AI
by: Bérczi, Gergely, et al.
Published: (2024)
by: Bérczi, Gergely, et al.
Published: (2024)
WELLDOC property for words generated by morphisms
by: Puzynina, Svetlana, et al.
Published: (2026)
by: Puzynina, Svetlana, et al.
Published: (2026)
Packing, Hitting, and Colouring Squares
by: Caoduro, Marco, et al.
Published: (2022)
by: Caoduro, Marco, et al.
Published: (2022)
Ryser's Theorem for Symmetric $ρ$-latin Squares
by: Bahmanian, Amin, et al.
Published: (2022)
by: Bahmanian, Amin, et al.
Published: (2022)
Similar Items
-
Myrvold's Results on Orthogonal Triples of $10 \times 10$ Latin Squares: A SAT Investigation
by: Bright, Curtis, et al.
Published: (2025) -
Improving SAT Solvers on Orthogonal Latin Square Problems
by: Barnoff, Aaron, et al.
Published: (2026) -
Relative position in binary substitutions
by: Coons, Michael, et al.
Published: (2024) -
The random $k$-SAT Gibbs uniqueness threshold revisited
by: Chatterjee, Arnab, et al.
Published: (2025) -
Universal partial tori
by: Carey, William D., et al.
Published: (2024)