359 search results - page 6 / 72 » Multi-state Directed Acyclic Graphs |
113
Voted
ESA
2003
Springer
15 years 8 months ago
2003
Springer
ENDM
2006
15 years 3 months ago
2006
78
Voted
JEA
2006
15 years 3 months ago
2006
101
Voted
ORDER
2008
15 years 3 months ago
2008
132
Voted
TCS
2008
15 years 3 months ago
2008
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...