Reconstructing Solutions after Blocked Clause Elimination. Järvisalo, M. & Biere, A. In Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, pages 340-345, 2010. Link bibtex @inproceedings{ DBLP:conf/sat/JarvisaloB10,
author = {Matti Järvisalo and Armin Biere},
title = {Reconstructing Solutions after Blocked Clause Elimination},
booktitle = {Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
pages = {340-345},
ee = {http://dx.doi.org/10.1007/978-3-642-14186-7_30} ,
year = {2010}
}
Downloads: 0
{"_id":{"_str":"520144dad40bcbb041000861"},"__v":13,"authorIDs":["54593b80b43425b7720003cb","54598b73b43425b7720006e4"],"author_short":["Järvisalo, M.","Biere, A."],"bibbaseid":"jrvisalo-biere-reconstructingsolutionsafterblockedclauseelimination-2010","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Matti"],"propositions":[],"lastnames":["Järvisalo"],"suffixes":[]},{"firstnames":["Armin"],"propositions":[],"lastnames":["Biere"],"suffixes":[]}],"title":"Reconstructing Solutions after Blocked Clause Elimination","booktitle":"Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings","pages":"340-345","ee":"http://dx.doi.org/10.1007/978-3-642-14186-7_30","year":"2010","bibtex":"@inproceedings{ DBLP:conf/sat/JarvisaloB10,\n author = {Matti Järvisalo and Armin Biere},\n title = {Reconstructing Solutions after Blocked Clause Elimination},\n booktitle = {Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings},\n pages = {340-345},\n ee = {http://dx.doi.org/10.1007/978-3-642-14186-7_30} ,\n year = {2010}\n}\n\n\n","author_short":["Järvisalo, M.","Biere, A."],"key":"DBLP:conf/sat/JarvisaloB10","id":"DBLP:conf/sat/JarvisaloB10","bibbaseid":"jrvisalo-biere-reconstructingsolutionsafterblockedclauseelimination-2010","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-642-14186-7_30"},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/matti-jarvisalo/?format=bibtex","downloads":0,"keywords":[],"search_terms":["reconstructing","solutions","blocked","clause","elimination","järvisalo","biere"],"title":"Reconstructing Solutions after Blocked Clause Elimination","title_words":["reconstructing","solutions","blocked","clause","elimination"],"year":2010,"dataSources":["hKYaX5wxwK2JaZwWp"]}