Coloring Unit-Distance Strips using SAT.

Peter Oostema, Ruben Martins, Marijn Heule

Browse the full LPAR paper archive.