Avoiding Monochromatic Rectangles Using Shift Patterns
Keywords:
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