Login / Signup

An Instantiation Scheme for Satisfiability Modulo Theories.

Mnacho EchenimNicolas Peltier
Published in: J. Autom. Reason. (2012)
Keyphrases
  • satisfiability modulo theories
  • knowledge base
  • relational databases
  • evolutionary algorithm