On the Parameterized Complexity of Exact Satisfiability Problems

Joachim Kneis, Daniel Mölle, Stefan Richter, Peter Rossmanith. On the Parameterized Complexity of Exact Satisfiability Problems. In Joanna Jedrzejowicz, Andrzej Szepietowski, editors, Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005, Proceedings. Volume 3618 of Lecture Notes in Computer Science, pages 568-579, Springer, 2005. [doi]

Abstract

Abstract is missing.