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