Login / Signup
Using Cylindrical Algebraic Decomposition in Satisfiability Modulo Theories.
Gereon Kremer
Published in:
Joint Workshop of the German Research Training Groups in Computer Science (2014)
Keyphrases
</>
satisfiability modulo theories
modulo theories
knowledge base
lower bound
expert systems
branch and bound
answer set programming