Exploring the use of GPGPUs in constraint solving - Campeotto, Federico (ProQuest Dissertations and Theses, 2014)