most citedFirst-Order Logic Theorem Proving and Model Building via Approximation and Instantiation

2 citations · 2 across the 1 of their papers we have counts for

collaborators
Showing cs.LOShow all

2 papers · 1 filter

cs.LO2019

On the Expressivity and Applicability of Model Representation Formalisms

Andreas Teucke, Marco Voigt, Christoph Weidenbach

A number of first-order calculi employ an explicit model representation formalism for automated reasoning and for detecting satisfiability. Many of these formalisms can represent i…

cs.LO2015★ 2 cited

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

Andreas Teucke, Christoph Weidenbach

In this paper we consider first-order logic theorem proving and model building via approximation and instantiation. Given a clause set we propose its approximation into a simplifie…