Characterizing Propagation Methods for Boolean Satisfiability. Hsu, E. I. & McIlraith, S. A. In Biere, A. & Gomes, C. P., editors, SAT, volume 4121, of Lecture Notes in Computer Science, pages 325-338, 2006. Springer.
Link
Paper bibtex @inproceedings{conf/sat/HsuM06,
added-at = {2017-05-23T00:00:00.000+0200},
author = {Hsu, Eric I. and McIlraith, Sheila A.},
biburl = {https://www.bibsonomy.org/bibtex/2a90760851ed2c3c47c907f658aafc0cc/dblp},
booktitle = {SAT},
crossref = {conf/sat/2006},
editor = {Biere, Armin and Gomes, Carla P.},
ee = {https://doi.org/10.1007/11814948_31},
interhash = {614db35e5d8194f3e0c91bd57a5b9c98},
intrahash = {a90760851ed2c3c47c907f658aafc0cc},
isbn = {3-540-37206-7},
keywords = {dblp},
pages = {325-338},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T19:11:16.000+0200},
title = {Characterizing Propagation Methods for Boolean Satisfiability.},
url = {http://dblp.uni-trier.de/db/conf/sat/sat2006.html#HsuM06},
volume = 4121,
year = 2006
}
Downloads: 0
{"_id":{"_str":"534211f46d78590a060000f3"},"__v":157,"authorIDs":["2JP7Eg9bhybNpzYiR","3b3gnNFqBHiteKXs2","3wSJLXJ9XuZ2mDm2H","49zg6n33JhWCCjH4G","4zKMDaLdYLdgGQChe","5456dccd8b01c81930000008","545754012abc8e9f370002bd","5Eidhk5inwxxe7JGk","5de9e8f29f521ddf010000f4","5dea039cfac96fde010000ad","5dea0c58fac96fde01000141","5df2ea54b91ab0de010000ea","5dfb881fc2820bdf010001a1","5e046c906ef264df010000b9","5e10276e2ef76bdf0100009f","5e129793551229df010000b6","5e162befdf1bb4de01000116","5e1e7705ce9ed9de0100012a","5e26328524c8a6de0100006d","5e2723abf51e02de010001fb","5e2784f755fc50df01000004","5e28be096acacbdf010000d4","5e326f1a5633c9de010000b0","5e3555a950cde4de0100000c","5e37c25d56571fde0100003d","5e380024918d4ede01000092","5e386d181f8af9e00100009b","5e390326dc5b8ade010000ac","5e3c31bf34cd37de01000126","5e4cec0e3e28aede0100012b","5e4f53598a3535f3010000cd","5e50202c933046de01000185","5e55431aca58a8df0100019a","5e5a1adc3557f5df010000c2","5e5c3b1e68f281de01000026","5e5e9d8bc0a53dde01000251","5e601cf3c064fcde010001dd","5e65c1b1d92058de010000e3","5e665cdd46e828de0100014d","5rfKneErnpvH8A9jA","6RJeJwCaTdt9z5nYv","6vPX7dp4BL2qMjx2i","7bxyKKMGnHxEQh3cj","7deQZsScCfPeKMrqy","9jPSyMaccQATNQzFR","AtaDzKGXz9bfKWfab","CzTmxSkSkem3essqH","DPH6F3udnr4WBuFRg","GKYqrPg3uj7nu7nbt","GvvCbq8Y4n9QqTySC","HF25KvZDEBf5Nvp8x","HTN44dpu77wAWF8HE","HhKYdEPpCZAmKPPQc","J5FZeQWmDd6p96K8P","JDoXnkWb7QmkjpPqn","JGfakYisbgxjaayRF","KwLm5LfL8LpgKk8XJ","LwbwhDPiGy5gvQipm","NJYBJe35TWp5FARRc","Ni37kLLmf4zgkdNFZ","RStoeQpfqvDsMSLzJ","T9PWjMkNwX9WQ5frZ","TuqvMAPdZhcxfZKp7","Wipe7PE2hMCo9rb5r","WqZpp9fP47artme8L","XCnXFqMPKPFkRq2kj","XELkWriNsABzHMyaw","XEMAfXz5wSaaLnBkk","aXBRouHw2x2TwqbuE","ah2FNqZqgqkMf7rno","dSvyDxvHdpJ3uQRZS","goc5YRXzjuZMrzKik","htrNC4rPDzh6zfTLS","iEMJPovEGF7jk6vBD","iWkYLX2HSxaiwbphr","j9wxxJ9nPog3bHXaY","jArTXYwhaXss62KJk","jDsmsaB2wJpvPgxE4","kSfpomb2i9SWgtiBN","kx2M4GyrQDBEqRT4q","m6X7Yg32T74Fxxn2d","nvsBeFCxyzjQRGPSi","pRtcYGMaZMG8GTaSz","paM4BdJgmXhvmhNf8","tRLzqBJWc3TYzBYox","tmHrh8yBFTwMrLukn","uxproQToHm4wEZeph","vReYR7kzq7n4RR9Ng","wGWyTtcLspnfJaLeT","x6aX8g9rWCY5wzyW2","xW8eSNRWi7bXhQuHC","xZ6wRPENk64YNgMr7","xm2sosMHyKsPj85Pb","ybLsHWfLgzQZAQ5WE","zsNPuARLzosfgmFwd"],"author_short":["Hsu, E. I.","McIlraith, S. A."],"bibbaseid":"hsu-mcilraith-characterizingpropagationmethodsforbooleansatisfiability-2006","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-23T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Hsu"],"firstnames":["Eric","I."],"suffixes":[]},{"propositions":[],"lastnames":["McIlraith"],"firstnames":["Sheila","A."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2a90760851ed2c3c47c907f658aafc0cc/dblp","booktitle":"SAT","crossref":"conf/sat/2006","editor":[{"propositions":[],"lastnames":["Biere"],"firstnames":["Armin"],"suffixes":[]},{"propositions":[],"lastnames":["Gomes"],"firstnames":["Carla","P."],"suffixes":[]}],"ee":"https://doi.org/10.1007/11814948_31","interhash":"614db35e5d8194f3e0c91bd57a5b9c98","intrahash":"a90760851ed2c3c47c907f658aafc0cc","isbn":"3-540-37206-7","keywords":"dblp","pages":"325-338","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T19:11:16.000+0200","title":"Characterizing Propagation Methods for Boolean Satisfiability.","url":"http://dblp.uni-trier.de/db/conf/sat/sat2006.html#HsuM06","volume":"4121","year":"2006","bibtex":"@inproceedings{conf/sat/HsuM06,\n added-at = {2017-05-23T00:00:00.000+0200},\n author = {Hsu, Eric I. and McIlraith, Sheila A.},\n biburl = {https://www.bibsonomy.org/bibtex/2a90760851ed2c3c47c907f658aafc0cc/dblp},\n booktitle = {SAT},\n crossref = {conf/sat/2006},\n editor = {Biere, Armin and Gomes, Carla P.},\n ee = {https://doi.org/10.1007/11814948_31},\n interhash = {614db35e5d8194f3e0c91bd57a5b9c98},\n intrahash = {a90760851ed2c3c47c907f658aafc0cc},\n isbn = {3-540-37206-7},\n keywords = {dblp},\n pages = {325-338},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T19:11:16.000+0200},\n title = {Characterizing Propagation Methods for Boolean Satisfiability.},\n url = {http://dblp.uni-trier.de/db/conf/sat/sat2006.html#HsuM06},\n volume = 4121,\n year = 2006\n}\n\n","author_short":["Hsu, E. I.","McIlraith, S. A."],"editor_short":["Biere, A.","Gomes, C. P."],"key":"conf/sat/HsuM06","id":"conf/sat/HsuM06","bibbaseid":"hsu-mcilraith-characterizingpropagationmethodsforbooleansatisfiability-2006","role":"author","urls":{"Link":"https://doi.org/10.1007/11814948_31","Paper":"http://dblp.uni-trier.de/db/conf/sat/sat2006.html#HsuM06"},"keyword":["dblp"],"metadata":{"authorlinks":{"mcilraith, s":"https://www.cs.toronto.edu/~sheila/preferences/"}},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Sheila McIlraith?items=1000","downloads":0,"keywords":["dblp"],"search_terms":["characterizing","propagation","methods","boolean","satisfiability","hsu","mcilraith"],"title":"Characterizing Propagation Methods for Boolean Satisfiability.","year":2006,"dataSources":["FAyKHaeKDYM4aGJk2","euD7cPywCk5gX9zDY","optQ3PYGE2PxhriFJ","2LLKDfkxMDdABm58M","T3oedZczBnZ2Y6GvJ","uKBTF27RvvtN9Ryxw","vAo9zFmkx4MpPsgha","Jwuh2BtHasSBPk4uf"]}