Backdoors to Satisfiability

Linear-Time Parameterized Algorithms via Skew-Symmetric Multicuts
ACM Trans. Algorithms, volume 13, number 4, pages 46:1-46:25, 9 2017, ACM.
PDF Cite DOI