Andreas Teucke

According to our database, Andreas Teucke authored at least 7 papers between 2015 and 2020.

Collaborative distances:

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

2020

SPASS-AR: A First-Order Theorem Prover Based on Approximation-Refinement into the Monadic Shallow Linear Fragment.

Andreas Teucke, Christoph Weidenbach

J. Autom. Reason., 2020

2019

On the Expressivity and Applicability of Model Representation Formalisms.

Andreas Teucke, Marco Voigt, Christoph Weidenbach

Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

2018

An approximation and refinement approach to first-order automated reasoning.

Andreas Teucke

PhD thesis, 2018

2017

Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints.

Andreas Teucke, Christoph Weidenbach

Proceedings of the Automated Deduction - CADE 26, 2017

2016

Ordered Resolution with Straight Dismatching Constraints.

Andreas Teucke, Christoph Weidenbach

Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016

2015

First-Order Logic Theorem Proving via Counterexample-Guided Abstraction Refinement.

Andreas Teucke, Christoph Weidenbach

CoRR, 2015

First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation.

Andreas Teucke, Christoph Weidenbach

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015