Fast and Flexible Difference Constraint Propagation for DPLL(T). Cotton, S. & Maler, O. In Proceedings of Theory and Applications of Satisfiability Testing (SAT), pages 170-183, 2006. ![Fast and Flexible Difference Constraint Propagation for DPLL(T) [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp3453433,
title = {Fast and Flexible Difference Constraint Propagation for DPLL(T)},
author = {Scott Cotton and Oded Maler},
author_short = {Cotton, S. and Maler, O.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2006},
key = {dblp3453433},
id = {dblp3453433},
biburl = {http://www.dblp.org/rec/bibtex/conf/sat/CottonM06},
url = {http://dx.doi.org/10.1007/11814948_19},
conference = {SAT},
pages = {170-183},
text = {SAT 2006:170-183},
booktitle = {Proceedings of Theory and Applications of Satisfiability Testing (SAT)}
}
Downloads: 0
{"_id":"spS2W9cFhch9g5HhM","bibbaseid":"cotton-maler-fastandflexibledifferenceconstraintpropagationfordpllt-2006","downloads":0,"creationDate":"2015-07-05T11:05:40.152Z","title":"Fast and Flexible Difference Constraint Propagation for DPLL(T)","author_short":["Cotton, S.","Maler, O."],"year":2006,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/sat/CottonM06","bibdata":{"title":"Fast and Flexible Difference Constraint Propagation for DPLL(T)","author":["Scott Cotton","Oded Maler"],"author_short":["Cotton, S.","Maler, O."],"bibtype":"inproceedings","type":"inproceedings","year":"2006","key":"dblp3453433","id":"dblp3453433","biburl":"http://www.dblp.org/rec/bibtex/conf/sat/CottonM06","url":"http://dx.doi.org/10.1007/11814948_19","conference":"SAT","pages":"170-183","text":"SAT 2006:170-183","booktitle":"Proceedings of Theory and Applications of Satisfiability Testing (SAT)","bibtex":"@inproceedings{ dblp3453433,\n title = {Fast and Flexible Difference Constraint Propagation for DPLL(T)},\n author = {Scott Cotton and Oded Maler},\n author_short = {Cotton, S. and Maler, O.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2006},\n key = {dblp3453433},\n id = {dblp3453433},\n biburl = {http://www.dblp.org/rec/bibtex/conf/sat/CottonM06},\n url = {http://dx.doi.org/10.1007/11814948_19},\n conference = {SAT},\n pages = {170-183},\n text = {SAT 2006:170-183},\n booktitle = {Proceedings of Theory and Applications of Satisfiability Testing (SAT)}\n}","bibbaseid":"cotton-maler-fastandflexibledifferenceconstraintpropagationfordpllt-2006","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/11814948_19"},"downloads":0},"search_terms":["fast","flexible","difference","constraint","propagation","dpll","cotton","maler"],"keywords":[],"authorIDs":[],"dataSources":["bmATkAMffDJZkPa3d"]}