Tu-San Pham, Jo Devriendt, Patrick De Causmaecker. Declarative Local Search for Predicate Logic. In Marcello Balduccini, Yuliya Lierler, Stefan Woltran, editors, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings. Volume 11481 of Lecture Notes in Computer Science, pages 340-346, Springer, 2019. [doi]
@inproceedings{PhamDC19-0,
title = {Declarative Local Search for Predicate Logic},
author = {Tu-San Pham and Jo Devriendt and Patrick De Causmaecker},
year = {2019},
doi = {10.1007/978-3-030-20528-7_25},
url = {https://doi.org/10.1007/978-3-030-20528-7_25},
researchr = {https://researchr.org/publication/PhamDC19-0},
cites = {0},
citedby = {0},
pages = {340-346},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings},
editor = {Marcello Balduccini and Yuliya Lierler and Stefan Woltran},
volume = {11481},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-20528-7},
}