CNF Satisfiability in a Subspace and Related Problems

Vikraman Arvind, Venkatesan Guruswami. CNF Satisfiability in a Subspace and Related Problems. Algorithmica, 84(11):3276-3299, 2022. [doi]

Abstract

Abstract is missing.