Exploring the Use of GPUs in Constraint Solving.

Federico Campeotto Alessandro Dal Palù Agostino Dovier Ferdinando Fioretto Enrico Pontelli

Published in: PADL (2014)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint satisfaction
constraint solver
general purpose
constraint programming
parallel processing
finite domain
real time
temporal constraints
graphics hardware