Solving Temporal Problems Using SMT: Strong Controllability.

Alessandro Cimatti Andrea Micheli Marco Roveri

Published in: CP (2012)

Keyphrases

solving problems
solving complex
problems involving
spatial and temporal
genetic algorithm
optimization problems
temporal databases
exact solution
np complete problems
spatio temporal
partial observability
constrained problems
simple temporal
combinatorial optimisation
sparse linear systems