CNF Satisfiability in a Subspace and Related Problems

Vikraman Arvind, Venkatesan Guruswami

We introduce the problem of finding a satisfying assignment to a CNF formula that must further belong to a prescribed input subspace. Equivalent formulations of the problem include…