MedleySolver: online SMT algorithm selection
scientific article; zbMATH DE number 7495591
scientific article