Avoiding Monochromatic Rectangles Using Shift Patterns
DOI:
https://doi.org/10.1609/socs.v12i1.18591Keywords:
Search In Boolean Satisfiability, Combinatorial Puzzles, Symmetry HandlingAbstract
We show that enforcing shift patterns significantly reduces the cost to construct grids without monochromatic rectangles. Additionally, we prove that all valid 3-colorings of a 10 by 10 grid are isomorphic.Downloads
Published
2021-07-21
Issue
Section
Student Papers