1222 search results - page 65 / 245 » corr 2008 |
165
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this work we suggest a new model for generating random satisfiable k-CNF formulas. To generate such formulas
148
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We prove that optimal strategies exist in perfect-information stochastic games with finitely many states and actions and tail winning conditions.
143
click to vote
CORR
2008
Springer
15 years 8 months ago
2008
Springer
geometrical computation 4: small Turing universal signal machines J
122
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We consider graph searching games on directed graphs and corresponding digraph decompositions. In particular we show that two important variants of these games
138
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic