Login / Signup

Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic.

Tino TeigeMartin Fränzle
Published in: CPAIOR (2008)
Keyphrases
  • satisfiability modulo theories
  • modulo theories
  • quantifier free
  • learning algorithm
  • orders of magnitude