
Improved Algorithms for the General Exact Satisfiability Problem
The Exact Satisfiability problem asks if we can find a satisfying assign...
read it

An Improved Exact Algorithm for the Exact Satisfiability Problem
The Exact Satisfiability problem, XSAT, is defined as the problem of fin...
read it

A Faster Exact Algorithm to Count X3SAT Solutions
The Exact Satisfiability problem, XSAT, is defined as the problem of fin...
read it

A Fast Exponential Time Algorithm for Max Hamming Distance X3SAT
X3SAT is the problem of whether one can satisfy a given set of clauses w...
read it
Gordon Hoi
is this you? claim profile