ViolationLS: Constraint-Based Local Search in CP-SAT.

Toby O. Davies, Frdric Didier, Laurent Perron

Browse the full CPAIOR paper archive.