An SMT-based approach to satisfiability checking of MITL.

Marcello M. Bersani Matteo Rossi Pierluigi San Pietro

Published in: Inf. Comput. (2015)

Keyphrases

data mining
database
genetic algorithm
co occurrence
logic programming
document images
answer set programming