2 search results - page 1 / 1 » Does Treewidth Help in Modal Satisfiability |
70
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
141
Voted
WG
1994
Springer
15 years 7 months ago
1994
Springer
The goal of a fugitive-search game on a graph is to trap a fugitive that hides on the vertices of the graph by systematically placing searchers on the vertices. The fugitive is as...