2 search results - page 1 / 1 » Cops and Robber Game without Recharging |
141
Voted
SWAT
2010
Springer
15 years 11 months ago
2010
Springer
167
Voted
CSL
2009
Springer
15 years 9 months ago
2009
Springer
We introduce tree-width for first order formulae , fotw(). We show that computing fotw is fixed-parameter tractable with parameter fotw. Moreover, we show that on classes of formul...