2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
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…