Graphics Processing Units for Constraint Satisfaction Topics: Constraint Satisfaction; Programming Environments and Languages; State Space Search In Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, 653-657, 2017 , Porto, Portugal