@收款{zbMATH07495591，作者={Pimpalkhare、Nikhil和Mora、Federico和Polgreen、Elizabeth和Seshia、Sanjit A.}，标题={{MedleySolver}：在线{SMT}算法选择}，BookTitle={可满足性测试的理论与应用--SAT 2021。第24届国际会议，西班牙巴塞罗那，2021年7月5-9日。诉讼}，国际标准图书编号={978-3-030-80222-6；978-3-0.30-80223-3}，页码={453--470}，年份={2021}，出版商＝{Cham:S普林格}，语言={英语}，DOI={10.1007/978-3-030-80223-3_31}，关键词={68Q25,68R07,68T20}，URL={hdl.handle.net/20.500.11820/b2ea7a05-d9f4-4ac4-a70e-108c8f323522}，zbMATH={7495591}}