Dynamic algorithm selection for SMT
Diederick Vermetten
◽
Hao Wang
◽
Thomas Bäck
◽
Carola Doerr
Wenbing Tang
◽
Libin Zheng
◽
Mingyue Jiang
◽
Zuohua Ding
2016 ◽
Vol 67
(1-2)
◽
pp. 263-282
◽
Ingrida Steponavičė
◽
Rob J. Hyndman
◽
Kate Smith-Miles
◽
Laura Villanova
Stephen DelMarco
◽
Victor Tom
◽
Helen Webb
◽
David Lefebvre
2010 ◽
Vol 75
(9)
◽
pp. 773-786
◽
Peter Pirkelbauer
◽
Sean Parent
◽
Mat Marcus
◽
Bjarne Stroustrup
Ehsan Poormohammady
◽
Jens Helge Reelfs
◽
Mirko Stoffers
◽
Klaus Wehrle
◽
Apostolos Papageorgiou
2020 ◽
Vol 27
(1-2)
◽
pp. 153-186
Cedric Richter
◽
Eyke Hüllermeier
◽
Marie-Christine Jakobs
◽
Heike Wehrheim
Hung Truong
◽
Frank Boochs
◽
Adlane Habed
◽
Yvon Voisin
2021 ◽
Vol 23
◽
pp. 100582