Satisfiability of ECTL* with tree constraints.
Claudia CarapelleShiguang FengAlexander KartzowMarkus LohreyPublished in: CoRR (2014)
Keyphrases
- tree structure
- computational complexity
- convex constraints
- search algorithm
- constrained optimization
- tree construction
- tree structures
- propositional logic
- constraint programming
- constraint satisfaction
- satisfiability problem
- geometric constraints
- temporal logic
- global constraints
- classification trees
- binary tree
- decision procedures
- constraint language
- hierarchical structure
- automata theoretic