626 search results - page 126 / 126 » When Can Formal Methods Make a Real Difference |
STACS
2010
Springer
14 years 23 days ago
2010
Springer
In 2000 Alber et al. [SWAT 2000 ] obtained the first parameterized subexponential algorithm on undirected planar graphs by showing that k-DOMINATING SET is solvable in time 2O( ...