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]
@inproceedings{MuesH22,
title = {Data-Driven Design and Evaluation of SMT Meta-Solving Strategies},
author = {Malte Mues and Falk Howar},
year = {2022},
doi = {10.18420/se2022-ws-024},
url = {https://doi.org/10.18420/se2022-ws-024},
researchr = {https://researchr.org/publication/MuesH22},
cites = {0},
citedby = {0},
pages = {75-76},
booktitle = {Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell},
editor = {Lars Grunske and Janet Siegmund and Andreas Vogelsang},
volume = {P-320},
series = {LNI},
publisher = {Gesellschaft für Informatik e.V.},
isbn = {978-3-88579-714-2},
}