Parallelizing constraint programs.

Laurent D. Michel

Published in: DAMP (2010)

Keyphrases

control structures
image segmentation
logic programs
linear constraints
data sets
information systems
case study
database systems
automatic programming