231 search results - page 47 / 47 » Mu-calculus path checking |
STACS
2010
Springer
14 years 8 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( ...