Satisfiability of ECTL* with tree constraints.

Claudia Carapelle Shiguang Feng Alexander Kartzow Markus Lohrey

Published 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