An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter
TLDR
An algorithm for Exact Satisfiability with polynomial space usage and a time bound of poly(L) . m!, where m is the number of clauses and L is the length of the formula.Abstract:
We give an algorithm for Exact Satisfiability with polynomial space usage and a time bound of poly(L) . m!, where m is the number of clauses and L is the length of the formula. Skjernaa has given an algorithm for Exact Satisfiability with time bound poly(L) . 2^m but using exponential space. We leave the following problem open: Is there an algorithm for Exact Satisfiability using only polynomial space with a time bound of c^m, where c is a constant and m is the number of clauses?read more
Citations
More filters
Book ChapterDOI
On the parameterized complexity of exact satisfiability problems
TL;DR: In this article, the authors considered the problem of exact satisfiability with over-satisfied clauses and showed fixed parameter tractability, and showed that the MaxExactSAT problem is W[1]-complete.