Sciweavers

11328 search results - page 16 / 2266
» Timed Branching Processes
Sort
View
ICALP
2003
Springer
15 years 7 months ago
Oracle Circuits for Branching-Time Model Checking
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...
Ph. Schnoebelen
88
Voted
FOCS
1998
IEEE
15 years 6 months ago
Time-Space Tradeoffs for Branching Programs
Paul Beame, Michael E. Saks, Jayram S. Thathachar