Constraint-based reachability

Arnaud Gotlieb Tristan Denmat Nadjib Lazaar

Published in: Infinity (2012)

Keyphrases

transitive closure
constraint satisfaction
state space
image processing
natural language
database
artificial intelligence
cooperative
data analysis
data model