SMT-Solving for the First-Order Theory of the Reals.

Erika Ábrahám Ulrich Loup

Published in: Algorithms and Applications for Next Generation SAT Solvers (2009)

Keyphrases

higher order
search algorithm
computational model
transitive closure
logical theories
neural network
logic programming
situation calculus
action theories
finite model theory
modulo theories