Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence.

Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale

Browse the full IJCAI paper archive.