Dispersive AGP

Solving the Dispersive Art Gallery Problem to optimality via an incremental SAT-solver.