The Strategy Challenge in SMT Solving.

Leonardo Mendonça de Moura Grant Olney Passmore

Published in: Automated Reasoning and Mathematics (2013)

Keyphrases

machine learning
information retrieval
database systems
image sequences
expert systems
dynamic programming
co occurrence
combinatorial optimization
search strategy
solving problems