3 citations to 10.1007/978-3-642-22006-7_53 (Crossref Cited-By Service)

1. Olaf Beyersdorff, Nicola Galesi, Massimo Lauria, 6695, Theory and Applications of Satisfiability Testing - SAT 2011, 2011, 5  
2. Jörg Flum, Moritz Müller, 7535, Parameterized and Exact Computation, 2012, 73  
3. Stefan Dantchev, Barnaby Martin, 7913, Computer Science – Theory and Applications, 2013, 139