Satisfiability of ECTL* with Tree Constraints.

Claudia Carapelle Shiguang Feng Alexander Kartzow Markus Lohrey

Published in: CSR (2015)

Keyphrases

tree structure
binary tree
symmetry breaking
linear programming
index structure
hierarchical structure
convex constraints
database systems
computational complexity
propositional logic
constrained optimization
sat encodings