Answer Set Solving with Lazy Nogood Generation. Drescher, C. & Walsh, T. In Dovier, A. & Costa, V. S., editors, ICLP (Technical Communications), volume 17, of LIPIcs, pages 188-200, 2012. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. Link Paper bibtex @inproceedings{conf/iclp/DrescherW12,
added-at = {2012-09-07T00:00:00.000+0200},
author = {Drescher, Christian and Walsh, Toby},
biburl = {http://www.bibsonomy.org/bibtex/2fbf185696ce323db9d725c90aeaf346a/dblp},
booktitle = {ICLP (Technical Communications)},
crossref = {conf/iclp/2012},
editor = {Dovier, Agostino and Costa, Vítor Santos},
ee = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.188},
interhash = {59fd62704b792d671378fc2ce1d1828d},
intrahash = {fbf185696ce323db9d725c90aeaf346a},
isbn = {978-3-939897-43-9},
keywords = {dblp},
pages = {188-200},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
series = {LIPIcs},
timestamp = {2013-12-06T11:37:52.000+0100},
title = {Answer Set Solving with Lazy Nogood Generation.},
url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#DrescherW12},
volume = 17,
year = 2012
}
Downloads: 0
{"_id":"RpXmE5qr9i8EjEzxP","bibbaseid":"drescher-walsh-answersetsolvingwithlazynogoodgeneration-2012","downloads":0,"creationDate":"2016-06-06T06:47:32.047Z","title":"Answer Set Solving with Lazy Nogood Generation.","author_short":["Drescher, C.","Walsh, T."],"year":2012,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Toby Walsh?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2012-09-07T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Drescher"],"firstnames":["Christian"],"suffixes":[]},{"propositions":[],"lastnames":["Walsh"],"firstnames":["Toby"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2fbf185696ce323db9d725c90aeaf346a/dblp","booktitle":"ICLP (Technical Communications)","crossref":"conf/iclp/2012","editor":[{"propositions":[],"lastnames":["Dovier"],"firstnames":["Agostino"],"suffixes":[]},{"propositions":[],"lastnames":["Costa"],"firstnames":["Vítor","Santos"],"suffixes":[]}],"ee":"http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.188","interhash":"59fd62704b792d671378fc2ce1d1828d","intrahash":"fbf185696ce323db9d725c90aeaf346a","isbn":"978-3-939897-43-9","keywords":"dblp","pages":"188-200","publisher":"Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik","series":"LIPIcs","timestamp":"2013-12-06T11:37:52.000+0100","title":"Answer Set Solving with Lazy Nogood Generation.","url":"http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#DrescherW12","volume":"17","year":"2012","bibtex":"@inproceedings{conf/iclp/DrescherW12,\n added-at = {2012-09-07T00:00:00.000+0200},\n author = {Drescher, Christian and Walsh, Toby},\n biburl = {http://www.bibsonomy.org/bibtex/2fbf185696ce323db9d725c90aeaf346a/dblp},\n booktitle = {ICLP (Technical Communications)},\n crossref = {conf/iclp/2012},\n editor = {Dovier, Agostino and Costa, Vítor Santos},\n ee = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.188},\n interhash = {59fd62704b792d671378fc2ce1d1828d},\n intrahash = {fbf185696ce323db9d725c90aeaf346a},\n isbn = {978-3-939897-43-9},\n keywords = {dblp},\n pages = {188-200},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},\n series = {LIPIcs},\n timestamp = {2013-12-06T11:37:52.000+0100},\n title = {Answer Set Solving with Lazy Nogood Generation.},\n url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#DrescherW12},\n volume = 17,\n year = 2012\n}\n\n","author_short":["Drescher, C.","Walsh, T."],"editor_short":["Dovier, A.","Costa, V. S."],"key":"conf/iclp/DrescherW12","id":"conf/iclp/DrescherW12","bibbaseid":"drescher-walsh-answersetsolvingwithlazynogoodgeneration-2012","role":"author","urls":{"Link":"http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.188","Paper":"http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#DrescherW12"},"keyword":["dblp"],"downloads":0},"search_terms":["answer","set","solving","lazy","nogood","generation","drescher","walsh"],"keywords":["dblp"],"authorIDs":["5460adb6cff45d9c64000123"],"dataSources":["bNJMXJJ4ihqTFb87D"]}