Operational Equivalence of CHR Programs and Constraints.

Slim Abdennadher Thom W. Frühwirth

Published in: CP (1999)

Keyphrases

constraint sets
databases
data structure
social networks
information systems
artificial intelligence
pairwise
constrained optimization
constraint networks
computer programs
multiple constraints
website
search algorithm
constraint satisfaction
answer sets
linear constraints
data sets