metaSMT: Focus On Your Application Not On Solver Integration
metaSMT: Focus On Your Application Not On Solver Integration
metaSMT: Focus On Your Application Not On Solver Integration
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Outline<br />
Motivation<br />
Initial Example<br />
Design Goals<br />
Architecture<br />
Syntax<br />
Contexts<br />
APIs<br />
Evaluation<br />
Summary<br />
Features<br />
Conclusions<br />
2