%0 Journal Article %1 DBLP:journals/fuin/CreignouV15 %A Creignou, Nadia %A Vollmer, Heribert %D 2015 %J Fundam. Inform. %K complexity myown satisfiability-problem %N 4 %P 297--316 %R 10.3233/FI-2015-1159 %T Parameterized Complexity of Weighted Satisfiability Problems: Decision, Enumeration, Counting %U http://dx.doi.org/10.3233/FI-2015-1159 %V 136

@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 }