Coloring Unit-Distance Strips using SAT.

Peter Oostema Ruben Martins Marijn Heule

Published in: LPAR (2020)

Keyphrases

satisfiability problem
distance function
distance measure
domain independent
distance transform
similarity measure
max sat
stochastic local search
genetic algorithm
search algorithm
euclidean distance
distance metric
phase transition
minimum distance