MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Reinhold Letz" – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Advances in decision procedures for quantified boolean formulas
by Reinhold Letz — 2001 — PROCEEDINGS OF QBF2001 WORKSHOP AT IJCAR'01
…Advances in Decision Procedures for Quantied Boolean Formulas Reinhold Letz Institut f…
Cited by 14 (0 self) – Add To MetaCart

P-SETHEO: Strategy Parallel Automated Theorem Proving
by Reinhold Letz, Gernot Stenz, Andreas Wolf — 1998 — Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-98
…P-SETHEO: Strategy Parallel Automated Theorem Proving Reinhold Letz, Gernot Stenz, Andreas Wolf…
Cited by 10 (1 self) – Add To MetaCart

Lemma and model caching in decision procedures for quantified boolean formulas
by Reinhold Letz, Technische Universität München — 2002 — In TABLEAUX 2002
…Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas Reinhold Letz…
Cited by 40 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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