Answer Set Solving with Lazy Nogood Generation. Drescher, C. & Walsh, T. In pages 188-200. bibtex @InProceedings{ drewal12a,
author = "C. Drescher and T. Walsh",
title = "Answer Set Solving with Lazy Nogood Generation",
pages = "188-200",
crossref = "iclp-lipics12"
}
Downloads: 0
{"_id":"qiZG5v48NztSa7BF7","bibbaseid":"drescher-walsh-answersetsolvingwithlazynogoodgeneration","downloads":0,"creationDate":"2016-08-22T10:51:33.953Z","title":"Answer Set Solving with Lazy Nogood Generation","author_short":["Drescher, C.","Walsh, T."],"year":null,"bibtype":"inproceedings","biburl":"http://www.cs.uni-potsdam.de/~torsten/tmp/tmp.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["C."],"propositions":[],"lastnames":["Drescher"],"suffixes":[]},{"firstnames":["T."],"propositions":[],"lastnames":["Walsh"],"suffixes":[]}],"title":"Answer Set Solving with Lazy Nogood Generation","pages":"188-200","crossref":"iclp-lipics12","bibtex":"@InProceedings{\t drewal12a,\n author\t= \"C. Drescher and T. Walsh\",\n title\t\t= \"Answer Set Solving with Lazy Nogood Generation\",\n pages\t\t= \"188-200\",\n crossref\t= \"iclp-lipics12\"\n}\n\n","author_short":["Drescher, C.","Walsh, T."],"key":"drewal12a","id":"drewal12a","bibbaseid":"drescher-walsh-answersetsolvingwithlazynogoodgeneration","role":"author","urls":{},"downloads":0},"search_terms":["answer","set","solving","lazy","nogood","generation","drescher","walsh"],"keywords":[],"authorIDs":[],"dataSources":["9j2A2CHeS829AvBXf"]}