Satisfiability of ECTL∗ with Local Tree Constraints.

Claudia Carapelle Shiguang Feng Alexander Kartzow Markus Lohrey

Published in: Theory Comput. Syst. (2017)

Keyphrases

constraint satisfaction
constraint graph
np complete
constraint networks
knowledge base
co occurrence
constraint satisfaction problems
index structure
constraint programming
r tree
combinatorial problems
tree search
sat encodings