CSP extended: imperative state and true concurrency.

Adrian E. Lawrence

Published in: IEE Proc. Softw. (2003)

Keyphrases

constraint satisfaction problems
database
data sets
databases
social networks
state space
constraint satisfaction
constraint programming
arc consistency