Exact Algorithms for Exact Satisfiability and Number of Perfect Matchings.

Andreas Bjrklund, Thore Husfeldt

Browse the full ICALP paper archive.