WASP: A Native ASP Solver Based on Constraint Learning. Alviano, M., Dodaro, C., Faber, W., Leone, N., & Ricca, F. In Cabalar, P. & Son, T. C., editors, Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings, volume 8148, of Lecture Notes in Computer Science, pages 54–66, 2013. Springer.
![WASP: A Native ASP Solver Based on Constraint Learning [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex
Paper doi bibtex Downloads: 0
{"_id":"Co3Cj8CeRmWBanQyJ","bibbaseid":"alviano-dodaro-faber-leone-ricca-waspanativeaspsolverbasedonconstraintlearning-2013","author_short":["Alviano, M.","Dodaro, C.","Faber, W.","Leone, N.","Ricca, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Mario"],"propositions":[],"lastnames":["Alviano"],"suffixes":[]},{"firstnames":["Carmine"],"propositions":[],"lastnames":["Dodaro"],"suffixes":[]},{"firstnames":["Wolfgang"],"propositions":[],"lastnames":["Faber"],"suffixes":[]},{"firstnames":["Nicola"],"propositions":[],"lastnames":["Leone"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Ricca"],"suffixes":[]}],"editor":[{"firstnames":["Pedro"],"propositions":[],"lastnames":["Cabalar"],"suffixes":[]},{"firstnames":["Tran","Cao"],"propositions":[],"lastnames":["Son"],"suffixes":[]}],"title":"WASP: A Native ASP Solver Based on Constraint Learning","booktitle":"Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings","series":"Lecture Notes in Computer Science","volume":"8148","pages":"54–66","publisher":"Springer","year":"2013","url":"https://doi.org/10.1007/978-3-642-40564-8_6","doi":"10.1007/978-3-642-40564-8_6","timestamp":"Sat, 05 Sep 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/lpnmr/AlvianoDFLR13.bib","bibsource":"dblp computer science bibliography, https://dblp.org","author_short":["Alviano, M.","Dodaro, C.","Faber, W.","Leone, N.","Ricca, F."],"editor_short":["Cabalar, P.","Son, T. C."],"key":"DBLP:conf/lpnmr/AlvianoDFLR13","id":"DBLP:conf/lpnmr/AlvianoDFLR13","bibbaseid":"alviano-dodaro-faber-leone-ricca-waspanativeaspsolverbasedonconstraintlearning-2013","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-40564-8_6"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/17/4975.html?view=bibtex","dataSources":["Abx4S3KE5cjtwTGfS"],"keywords":[],"search_terms":["wasp","native","asp","solver","based","constraint","learning","alviano","dodaro","faber","leone","ricca"],"title":"WASP: A Native ASP Solver Based on Constraint Learning","year":2013}