Tobias Schmidt-Samoa

According to our database, Tobias Schmidt-Samoa authored at least 4 papers between 2003 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous.

Tobias Schmidt-Samoa

J. Appl. Non Class. Logics, 2006

2005

Flexible heuristic control for combining automation and user-interaction in inductive theorem proving.

Tobias Schmidt-Samoa

PhD thesis, 2005

An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving.

Tobias Schmidt-Samoa

Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005

2003

How to Prove Inductive Theorems? QUODLIBET!

Jürgen Avenhaus, Ulrich Kühler, Tobias Schmidt-Samoa, Claus-Peter Wirth

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003