An Algorithm for Approximating the Satisfiability Problem of High-level Conditions.

Karl-Heinz Pennemann

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

satisfiability problem
high level
optimal solution
computational complexity
dynamic programming
orders of magnitude
search strategy
stochastic local search algorithms
objective function
low level
combinatorial optimization
temporal logic