@article{DBLP:journals/fuin/CreignouV15,
  added-at = {2016-01-14T10:52:16.000+0100},
  author = {Creignou, Nadia and Vollmer, Heribert},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {https://www.bibsonomy.org/bibtex/20a4b7f7c9f33b597d7bc2afd49361426/hvo},
  doi = {10.3233/FI-2015-1159},
  interhash = {7e5798964ffa03e82adaf966f43df815},
  intrahash = {0a4b7f7c9f33b597d7bc2afd49361426},
  journal = {Fundam. Inform.},
  keywords = {complexity myown satisfiability-problem},
  number = 4,
  pages = {297--316},
  timestamp = {2016-01-14T10:52:16.000+0100},
  title = {Parameterized Complexity of Weighted Satisfiability Problems: Decision,
               Enumeration, Counting},
  url = {http://dx.doi.org/10.3233/FI-2015-1159},
  volume = 136,
  year = 2015
}