@inproceedings{vcsat,
  title = "Parameterized Complexity of Weighted Satisfiability Problems",
  author = "Nadia Creignou and Heribert Vollmer",
  year = "2012",
  booktitle = "Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012",
  location = "Trento, Italy",
}