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

##### Christoph WernhardChristoph Wernhard

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}
}
```