A WebPage on All Distances Distinct Problem
Format for SAT problems
Benchmarks
Slides on SAT Algorithms