6 citations · 12 across the 11 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
The Challenge of Unifying Semantic and Syntactic Inference Restrictions
Christoph Weidenbach
While syntactic inference restrictions don't play an important role for SAT, they are an essential reasoning technique for more expressive logics, such as first-order logic, or fra…
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…