Faster Solutions for Exact Hitting and Exact SAT

This paper considers a number of NP-complete problems, and provides faster algorithms for solving them. The solutions are based on a recursive partitioning of the problem domain, and careful elimination of some of the branches along the search without actually checking them. The time complexity of the proposed algorithm is of the form O(2en) for constant 0 e 1, where n is the output size of the problem. In particular, such algorithms are presented for the Exact SAT and Exact Hitting Set problems with e = 0.2985. Both algorithms improve on previous ones proposed in the literature.