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]
Abstract is missing.