Searching for "A complexity gap for tree resolution." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

A Complexity Gap for Tree-Resolution
by Søren Riis, Sren Riis — 1999 — Computational Complexity
…BRICS RS-99-29 S. Riis: A Complexity Gap for Tree-Resolution BRICS Basic Research in Computer…
Cited by 13 (2 self) – Add To MetaCart

March 1999. 21 pp. Appears in Mendelzon, editor,
by Eighth International World, Klaus Havelund, Kim G. Larsen, Arne Skou, Formal Verification, Rune B. Lyngs, Christian N. S. Pedersen, Henrik Nielsen Measures, Julian C. Bradfield, Perdita Stevens, Observational Mu-calculus, Sibylle B. Frschle, Thomas Troels Hildebr, T On Plain
…, PostScript, PDF, DVI. Sren Riis. A Complexity Gap for Tree-Resolution. September 1999. 33 pp. [RS-99…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB