David Mojzísek, Jan Hula. Efficient Solver Scheduling and Selection for Satisfiability Modulo Theories (SMT) Problems. In Modesto Castrillón Santana, Maria De Marsico, Ana L. N. Fred, editors, Proceedings of the 13th International Conference on Pattern Recognition Applications and Methods, ICPRAM 2024, Rome, Italy, February 24-26, 2024. pages 360-369, SCITEPRESS, 2024. [doi]
Abstract is missing.