Login / Signup
The Boolean Solution Problem from the Perspective of Predicate Logic - Extended Version.
Christoph Wernhard
Published in:
CoRR (2017)
Keyphrases
</>
predicate logic
integer programming
temporal logic
semantic network
knowledge representation and reasoning
databases
formal logic
semantic net