LTL over integer periodicity constraints.

Stéphane Demri

Published in: Theor. Comput. Sci. (2006)

Keyphrases

model checking
data sets
constraint programming
decision variables
database
genetic algorithm
search algorithm
lower bound
global constraints