A Multicore Tool for Constraint Solving.

Roberto Amadini Maurizio Gabbrielli Jacopo Mauro

Published in: IJCAI (2015)

Keyphrases

constraint solving
constraint propagation
constraint satisfaction problems
constraint logic programming
constraint satisfaction
constraint programming
constraint solver
computer systems
software tools
evolutionary algorithm
finite domain
cell processor