CNF Satisfiability in a Subspace and Related Problems

Vikraman Arvind, Venkatesan Guruswami. CNF Satisfiability in a Subspace and Related Problems. In Petr A. Golovach, Meirav Zehavi, editors, 16th International Symposium on Parameterized and Exact Computation, IPEC 2021, September 8-10, 2021, Lisbon, Portugal. Volume 214 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Abstract

Abstract is missing.