Athanor: Local Search over Abstract Constraint Specifications

Saad Attieh, Nguyen Dang, Christopher Jefferson +2

Local search is a common method for solving combinatorial optimisation problems. We focus on general-purpose local search solvers that accept as input a constraint model - a declar…