Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2020, January 28
Time: 11:00
Author: Glauer, Martin
Title: Recent Developments in Automated Theorem Proving


Many real-world problems yield large logic theories when formalised. Those are still a hard problem for automated theorem provers. In order to ease the load on the automated reasoners, methods have been developed that select those premises that may be used to prove a certain goal.

This talk will give a short summary of recent developments in premise selection and present a draft for a new approach.

Back to the Oberseminar web page