%0 Conference Paper %1 conf/lpnmr/AlvianoDFLR13 %A Alviano, Mario %A Dodaro, Carmine %A Faber, Wolfgang %A Leone, Nicola %A Ricca, Francesco %B LPNMR %D 2013 %E Cabalar, Pedro %E Son, Tran Cao %I Springer %K dblp %P 54-66 %T WASP: A Native ASP Solver Based on Constraint Learning. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2013.html#AlvianoDFLR13 %V 8148 %@ 978-3-642-40564-8

@inproceedings{conf/lpnmr/AlvianoDFLR13, added-at = {2020-09-05T00:00:00.000+0200}, author = {Alviano, Mario and Dodaro, Carmine and Faber, Wolfgang and Leone, Nicola and Ricca, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/278ea91bd9423b7f64a90cb4eef86e8bf/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2013}, editor = {Cabalar, Pedro and Son, Tran Cao}, ee = {https://www.wikidata.org/entity/Q62043832}, interhash = {47a096d793e81fe17c71987361f69dcc}, intrahash = {78ea91bd9423b7f64a90cb4eef86e8bf}, isbn = {978-3-642-40564-8}, keywords = {dblp}, pages = {54-66}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T14:25:17.000+0200}, title = {WASP: A Native ASP Solver Based on Constraint Learning.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2013.html#AlvianoDFLR13}, volume = 8148, year = 2013 }