Graphics Processing Units for Constraint Satisfaction. - Malek Mouhoub; Ahmed Mobaraki (ICAART (2), 2017)