Marcello Balduccini
Learning Domain-Specific Heuristics for Answer Set Solvers
ICLP, 2010.
@inproceedings{ICLP-2010-Balduccini10, author = "Marcello Balduccini", booktitle = "{Technical Communications of the 26th International Conference on Logic Programming}", doi = "10.4230/LIPIcs.ICLP.2010.14", isbn = "978-3-939897-17-0", pages = "14--23", publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}", series = "{Leibniz International Proceedings in Informatics}", title = "{Learning Domain-Specific Heuristics for Answer Set Solvers}", volume = 7, year = 2010, }