Chunks: Component Verification in CSP||B.

Steve A. Schneider Helen Treharne Neil Evans

Published in: IFM (2005)

Keyphrases

constraint satisfaction problems
genetic algorithm
formal verification
database
databases
constraint satisfaction
data mining
search engine
search space
software components
arc consistency
face verification
person identification
hypertree decomposition
arc consistency algorithm