activity
20112023
most citedThe Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version

11 citations · 47 across the 17 of their papers we have counts for

collaborators
Showing 2011Show all

1 paper · 1 filter

cs.AI2011

Computing with Logic as Operator Elimination: The ToyElim System

Christoph Wernhard

A prototype system is described whose core functionality is, based on propositional logic, the elimination of second-order operators, such as Boolean quantifiers and operators for…