Avoiding Monochromatic Rectangles Using Shift Patterns

Authors

  • Zhenjun Liu Carnegie Mellon University
  • Leroy Chew Technische Universit├Ąt Wien
  • Marijn J. H. Heule Carnegie Mellon University

Keywords:

Search In Boolean Satisfiability, Combinatorial Puzzles, Symmetry Handling

Abstract

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