The Boolean Solution Problem from the Perspective of Predicate Logic – Extended Version

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

The Boolean Solution Problem from the Perspective of Predicate Logic – Extended Version

Christoph WernhardChristoph Wernhard
The Boolean Solution Problem from the Perspective of Predicate Logic – Extended Version


Christoph Wernhard
The Boolean Solution Problem from the Perspective of Predicate Logic – Extended Version
Technical Report, TU Dresden, volume 17-01, 2017. Knowledge Representation and Reasoning
@techreport{W2017,
  author      = {Christoph Wernhard},
  title       = {The Boolean Solution Problem from the Perspective of Predicate
                 Logic {\textendash} Extended Version},
  institution = {TU Dresden},
  year        = {2017}
}