Data-Driven Design and Evaluation of SMT Meta-Solving Strategies

Malte Mues, Falk Howar. Data-Driven Design and Evaluation of SMT Meta-Solving Strategies. In Lars Grunske, Janet Siegmund, Andreas Vogelsang, editors, Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell. Volume P-320 of LNI, pages 75-76, Gesellschaft für Informatik e.V., 2022. [doi]

Abstract

Abstract is missing.