Characteristic Subsets of SMT-LIB Benchmarks.

Jan Jakubuv Mikolás Janota Andrew Reynolds

Published in: SMT (2021)

Keyphrases

benchmark suite
data sets
computer vision
statistical machine translation
image segmentation
database systems
evolutionary algorithm