@inproceedings{DBLP:conf/dagstuhl/WilleJSD09,
  author    = {Robert Wille and
               Jean Christoph Jung and
               Andr{\'{e}} S{\"{u}}lflow and
               Rolf Drechsler},
  title     = {{SWORD} - Module-based {SAT} Solving},
  booktitle = {Algorithms and Applications for Next Generation {SAT} Solvers, 08.11.
               - 13.11.2009},
  year      = {2009},
  crossref  = {DBLP:conf/dagstuhl/2009P9461},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2010/2506/},
  timestamp = {Fri, 10 Apr 2015 01:00:00 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/dagstuhl/WilleJSD09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"WSJtGeuo2HdZ2Zc2N","bibbaseid":"wille-jung-slflow-drechsler-swordmodulebasedsatsolving-2009","downloads":0,"creationDate":"2016-11-07T11:06:40.364Z","title":"SWORD - Module-based SAT Solving","author_short":["Wille, R.","Jung, J. C.","Sülflow, A.","Drechsler, R."],"year":2009,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/j/Jung:Jean_Christoph","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Robert"],"propositions":[],"lastnames":["Wille"],"suffixes":[]},{"firstnames":["Jean","Christoph"],"propositions":[],"lastnames":["Jung"],"suffixes":[]},{"firstnames":["André"],"propositions":[],"lastnames":["Sülflow"],"suffixes":[]},{"firstnames":["Rolf"],"propositions":[],"lastnames":["Drechsler"],"suffixes":[]}],"title":"SWORD - Module-based SAT Solving","booktitle":"Algorithms and Applications for Next Generation SAT Solvers, 08.11. - 13.11.2009","year":"2009","crossref":"DBLP:conf/dagstuhl/2009P9461","url":"http://drops.dagstuhl.de/opus/volltexte/2010/2506/","timestamp":"Fri, 10 Apr 2015 01:00:00 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/dagstuhl/WilleJSD09","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/dagstuhl/WilleJSD09,\n author = {Robert Wille and\n Jean Christoph Jung and\n Andr{\\'{e}} S{\\\"{u}}lflow and\n Rolf Drechsler},\n title = {{SWORD} - Module-based {SAT} Solving},\n booktitle = {Algorithms and Applications for Next Generation {SAT} Solvers, 08.11.\n - 13.11.2009},\n year = {2009},\n crossref = {DBLP:conf/dagstuhl/2009P9461},\n url = {http://drops.dagstuhl.de/opus/volltexte/2010/2506/},\n timestamp = {Fri, 10 Apr 2015 01:00:00 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/dagstuhl/WilleJSD09},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Wille, R.","Jung, J. C.","Sülflow, A.","Drechsler, R."],"key":"DBLP:conf/dagstuhl/WilleJSD09","id":"DBLP:conf/dagstuhl/WilleJSD09","bibbaseid":"wille-jung-slflow-drechsler-swordmodulebasedsatsolving-2009","role":"author","urls":{"Paper":"http://drops.dagstuhl.de/opus/volltexte/2010/2506/"},"downloads":0},"search_terms":["sword","module","based","sat","solving","wille","jung","sülflow","drechsler"],"keywords":[],"authorIDs":[],"dataSources":["qkkGW9dSrz8kYYv2g"]}