On the freeze quantifier in Constraint LTL: Decidability and complexity.

Stéphane Demri Ranko Lazic David Nowak

Published in: Inf. Comput. (2007)

Keyphrases

temporal logic
model checking
real time
computational complexity
decision problems
database
databases
objective function
data structure
worst case
heuristic search
constraint solving