Reinhold Letz
Technical University of Munich(DE)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, AI-based Problem Solving and Planning, Natural Language Processing Techniques
Most-Cited Works
- → SETHEO: A high-performance theorem prover(1992)235 cited
- → Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas(2002)153 cited
- → Controlled integration of the cut rule into connection tableau calculi(1994)153 cited
- → SETHEO and E-SETHEO - The CADE-13 Systems(1997)82 cited
- → Model Elimination and Connection Tableau Procedures(2001)72 cited
- → Partheo: A high-performance parallel theorem prover(1990)56 cited
- → SETHEO V3.2: Recent developments(1994)42 cited
- → Proof and Model Generation with Disconnection Tableaux(2001)38 cited
- → Integration of Equality Reasoning into the Disconnection Calculus(2002)26 cited
- → DCTP - A Disconnection Calculus Theorem Prover - System Abstract(2001)25 cited