A higher-order extension of constraint programming in disourse analysis.

Published in: PPCP (1993)

Keyphrases

constraint programming
higher order
combinatorial problems
data mining
constraint satisfaction
constraint propagation
integer programming
symmetry breaking
np hard problems
constraint optimization