Jansen B. On Structural Parameterizations of Hitting Set: Hitting Paths in Graphs Using 2-SAT. JGAA [Internet]. 2017 Jan. 1 [cited 2024 Jul. 6];21(2):219-43. Available from: http://jgaa-v4.cs.brown.edu/index.php/jgaa/article/view/paper413