Login / Signup

Challenges in Satisfiability Modulo Theories.

Robert NieuwenhuisAlbert OliverasEnric Rodríguez-CarbonellAlbert Rubio
Published in: RTA (2007)
Keyphrases
  • satisfiability modulo theories
  • modulo theories
  • machine learning
  • artificial intelligence
  • decision trees
  • state space