MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers.

Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh

Browse the full TACAS paper archive.