A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm

Michal Koucký, Vojtech Rödl, Navid Talebanfard. A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm. Electronic Colloquium on Computational Complexity (ECCC), 26:181, 2019. [doi]

Abstract

Abstract is missing.