Programming the CELL-BE using CSP.

Kenneth Skovhede Morten N. Larsen Brian Vinter

Published in: CPA (2011)

Keyphrases

constraint satisfaction problems
constraint propagation
programming language
decomposition methods
constraint satisfaction
constraint programming
database
np complete
databases
microscopy images
data sets
arc consistency
microscopic images
living cells
high level language