@inproceedings{ijcai2019p148, title = {Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence}, author = {Attieh, Saad and Dang, Nguyen and Jefferson, Christopher and Miguel, Ian and Nightingale, Peter}, booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI-19}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, pages = {1056--1063}, year = {2019}, month = {7}, doi = {10.24963/ijcai.2019/148}, url = {https://doi.org/10.24963/ijcai.2019/148}, }