EasyChair Smart Slide
Coloring Unit-Distance Strips using SAT
Coloring Unit-Distance Strips using SAT