Satisfiability of High-Level Conditions.

Annegret Habel Karl-Heinz Pennemann

Published in: ICGT (2006)

Keyphrases

high level
low level
sufficient conditions
np complete
computational complexity
satisfiability problem
decision procedures
artificial intelligence
programming language
low level features
propositional logic
real time
genetic algorithm
search algorithm
environmental conditions
intermediate level