MLTL Benchmark Generation via Formula Progression.

Jianwen Li Kristin Y. Rozier

Published in: RV (2018)

Keyphrases

preprocessing
generation process
database
information retrieval
benchmark suite
wide range
learning environment
digital libraries
comparative analysis
generation algorithm