A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm - Koucký, Michal; Rödl, Vojtěch; Talebanfard, Navid (arXiv.org, 2021)
Keywords: Algorithms; Computer Science - Computational Complexity; Computer Science - Logic in Computer Science; Graph theory; Separators