Stefan Bayerl
Technical University of Munich(DE)
Publications by Year
Research Areas
Logic, programming, and type systems, AI-based Problem Solving and Planning, Parallel Computing and Optimization Techniques, Formal Methods in Verification, Natural Language Processing Techniques
Most-Cited Works
- → SETHEO: A high-performance theorem prover(1992)235 cited
- An Implementation of a PROLOG-like Theorem Prover based on the Connection Method.(1986)
- → Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine(1986)3 cited
- → P A R T H E O: A Parallel Inference Machine(1989)
- PARTHEO: A Parallel Inference Machine(1989)
- An Implemented Simulation of a Parallel Theorem Prover.(1986)