Targeted Configuration of an SMT Solver. - Jan Hula; Jan Jakubuv; Mikolás Janota; Lukás Kubej (CICM, 2022)