Andreas Björklund, Thore Husfeldt. Exact Algorithms for Exact Satisfiability and Number of Perfect Matchings. In Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener, editors, Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I. Volume 4051 of Lecture Notes in Computer Science, pages 548-559, Springer, 2006. [doi]
Abstract is missing.