76 search results - page 2 / 16 » Parallel Depth First Proof Number Search |
ICPP
1994
IEEE
13 years 8 months ago
1994
IEEE
ATVA
2011
Springer
12 years 4 months ago
2011
Springer
Even though the well-known nested-depth first search algorithm for LTL model checking provides good performance, it cannot benefit from the recent advent of multi-core computers....
QSHINE
2005
IEEE
13 years 10 months ago
2005
IEEE
An extended depth-first-search (EDFS) algorithm is proposed to solve the multi-constrained path (MCP) problem in quality-of-service (QoS) routing, which is NP-Complete when the n...
ACG
2009
Springer
13 years 11 months ago
2009
Springer
WADS
2001
Springer
13 years 9 months ago
2001
Springer
Even though a large number of I/O-efficient graph algorithms have been developed, a number of fundamental problems still remain open. For example, no space- and I/O-efficient algo...