Effective Preprocessing in SAT Through Variable and Clause Elimination. Eén, N. & Biere, A. In Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings, pages 61-75, 2005. Link bibtex @inproceedings{ DBLP:conf/sat/EenB05,
author = {Niklas Eén and Armin Biere},
title = {Effective Preprocessing in SAT Through Variable and Clause Elimination},
booktitle = {Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
pages = {61-75},
ee = {http://dx.doi.org/10.1007/11499107_5} ,
year = {2005}
}
Downloads: 0
{"_id":{"_str":"520982e7a9e4b91d2f0002d8"},"__v":11,"authorIDs":["54593b80b43425b7720003cb","548d9b6c0039fe866f0001a6"],"author_short":["Eén, N.","Biere, A."],"bibbaseid":"en-biere-effectivepreprocessinginsatthroughvariableandclauseelimination-2005","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Niklas"],"propositions":[],"lastnames":["Eén"],"suffixes":[]},{"firstnames":["Armin"],"propositions":[],"lastnames":["Biere"],"suffixes":[]}],"title":"Effective Preprocessing in SAT Through Variable and Clause Elimination","booktitle":"Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings","pages":"61-75","ee":"http://dx.doi.org/10.1007/11499107_5","year":"2005","bibtex":"@inproceedings{ DBLP:conf/sat/EenB05,\n author = {Niklas Eén and Armin Biere},\n title = {Effective Preprocessing in SAT Through Variable and Clause Elimination},\n booktitle = {Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},\n pages = {61-75},\n ee = {http://dx.doi.org/10.1007/11499107_5} ,\n year = {2005}\n}\n\n\n","author_short":["Eén, N.","Biere, A."],"key":"DBLP:conf/sat/EenB05","id":"DBLP:conf/sat/EenB05","bibbaseid":"en-biere-effectivepreprocessinginsatthroughvariableandclauseelimination-2005","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/11499107_5"},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/niklas-een/?format=bibtex","downloads":0,"keywords":[],"search_terms":["effective","preprocessing","sat","through","variable","clause","elimination","eén","biere"],"title":"Effective Preprocessing in SAT Through Variable and Clause Elimination","title_words":["effective","preprocessing","sat","through","variable","clause","elimination"],"year":2005,"dataSources":["4WJjXk2caSvZzBSY7"]}