Sciweavers

359 search results - page 6 / 72
» Multi-state Directed Acyclic Graphs
Sort
View
ENDM
2006
69views more  ENDM 2006»
14 years 11 months ago
General Delay Budgeting on Directed Acyclic Graphs with Applications in CAD
Majid Sarrafzadeh, Foad Dabiri, Ani Nahapetian
JEA
2006
85views more  JEA 2006»
14 years 11 months ago
A dynamic topological sort algorithm for directed acyclic graphs
David J. Pearce, Paul H. J. Kelly
ORDER
2008
54views more  ORDER 2008»
14 years 11 months ago
Word Problem of the Perkins Semigroup via Directed Acyclic Graphs
Sergey Kitaev, Steve Seif
TCS
2008
14 years 11 months ago
The NP-hardness of finding a directed acyclic graph for regular resolution
Let R be a resolution refutation, given as a sequence of clauses without explicit description of the underlying dag. Then, it is NPcomplete to decide whether R is a regular resolu...
Samuel R. Buss, Jan Hoffmann 0002