Targeted Configuration of an SMT Solver.

Jan Hula Jan Jakubuv Mikolás Janota Lukás Kubej

Published in: CICM (2022)

Keyphrases

statistical machine translation
real time
case study
database
configuration space
multi agent
search algorithm
np hard
probabilistic model
product configuration