SAT Encodings for Rectangle Free Coloring