Solving Temporal Problems Using SMT: Weak Controllability.

Alessandro Cimatti Andrea Micheli Marco Roveri

Published in: AAAI (2012)

Keyphrases

solving problems
problems involving
combinatorial optimization
optimization problems
spatio temporal
np complete
temporal reasoning
integer program
solving complex
constrained problems
algebraic equations