%0 Conference Paper %1 conf/lpnmr/PhamDC19 %A Pham, Tu-San %A Devriendt, Jo %A Causmaecker, Patrick De %B LPNMR %D 2019 %E Balduccini, Marcello %E Lierler, Yuliya %E Woltran, Stefan %I Springer %K dblp %P 340-346 %T Declarative Local Search for Predicate Logic. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2019.html#PhamDC19 %V 11481 %@ 978-3-030-20528-7

@inproceedings{conf/lpnmr/PhamDC19, added-at = {2019-05-23T00:00:00.000+0200}, author = {Pham, Tu-San and Devriendt, Jo and Causmaecker, Patrick De}, biburl = {https://www.bibsonomy.org/bibtex/255060ff9b421976340ded20e75c9e762/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2019}, editor = {Balduccini, Marcello and Lierler, Yuliya and Woltran, Stefan}, ee = {https://doi.org/10.1007/978-3-030-20528-7_25}, interhash = {506a6c8b5880b1179aadd87676865776}, intrahash = {55060ff9b421976340ded20e75c9e762}, isbn = {978-3-030-20528-7}, keywords = {dblp}, pages = {340-346}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-24T11:51:49.000+0200}, title = {Declarative Local Search for Predicate Logic.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2019.html#PhamDC19}, volume = 11481, year = 2019 }