{"_id":"3Go7HmQTBZK9Z7Qnt","bibbaseid":"cotton-maler-fastandflexibledifferenceconstraintpropagationfordpllt","downloads":0,"creationDate":"2016-08-22T10:51:33.973Z","title":"Fast and flexible difference constraint propagation for DPLL (T)","author_short":["Cotton, S.","Maler, O."],"year":null,"bibtype":"inproceedings","biburl":"http://www.cs.uni-potsdam.de/~torsten/tmp/tmp.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Fast and flexible difference constraint propagation for DPLL (T)","author":[{"firstnames":["S."],"propositions":[],"lastnames":["Cotton"],"suffixes":[]},{"firstnames":["O."],"propositions":[],"lastnames":["Maler"],"suffixes":[]}],"pages":"170-183","crossref":"sat06","bibtex":"@InProceedings{\t cotmal06a,\n title\t\t= \"Fast and flexible difference constraint propagation for\n\t\t {DPLL (T)}\",\n author\t= \"S. Cotton and O. Maler\",\n pages\t\t= \"170-183\",\n crossref\t= \"sat06\"\n}\n\n","author_short":["Cotton, S.","Maler, O."],"key":"cotmal06a","id":"cotmal06a","bibbaseid":"cotton-maler-fastandflexibledifferenceconstraintpropagationfordpllt","role":"author","urls":{},"downloads":0},"search_terms":["fast","flexible","difference","constraint","propagation","dpll","cotton","maler"],"keywords":[],"authorIDs":[],"dataSources":["9j2A2CHeS829AvBXf"]}