790 search results - page 21 / 158 » Subexponential Parameterized Algorithms |
105
Voted
FAW
2008
Springer
15 years 1 months ago
2008
Springer
constraint bipartite vertex cover is a graph-theoretical formalization of the spare allocation problem for reconfigurable arrays. We report on an implementation of a parameterized ...
100
click to vote
CAV
2007
Springer
15 years 4 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
ESA
2003
Springer
15 years 5 months ago
2003
Springer
TACAS
2000
Springer
15 years 3 months ago
2000
Springer
CIAC
2010
Springer
14 years 10 months ago
2010
Springer
