CSP with Synthesisable SystemC(tm) and OSSS.

Claus Brunzema Wolfgang Nebel

Published in: FDL (2007)

Keyphrases

constraint satisfaction problems
constraint satisfaction
constraint propagation
decomposition methods
constraint programming
arc consistency
tree decomposition
arc consistency algorithm
machine learning
np complete
real time
orders of magnitude
closest string
artificial intelligence
np hard
constraint networks