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]
No references recorded for this publication.
No citations of this publication recorded.