Graphics Processing Units for Constraint Satisfaction

Malek Mouhoub, Ahmed Mobaraki

2017

Abstract

A Constraint Satisfaction Problem (CSP) is a powerful formalism to represent constrained problems. A CSP includes a set of variables where each is defined over a set of possible values, and a set of relations restricting the values that the variables can simultaneously take. There are numerous problems that can be represented as CSPs. Solving CSPs is known to be quite challenging in general. The literature poses a great body of work geared towards finding efficient techniques to solve CSPs. These techniques are usually implemented in a system commonly referred to as a constraint solver. While many enhancements have been achieved over earlier ones, solvers still require powerful resources and techniques to solve a given problem in a reasonable running time. In this paper, a new parallel-based approach is proposed for solving CSPs. In particular, we design a new CSP solver that exploits the power of graphics processing units (GPU), which exist in modern day computers, as an affordable parallel computing architecture.

Paper Citation

in Harvard Style

Mouhoub M. and Mobaraki A. (2017). Graphics Processing Units for Constraint Satisfaction . In Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-220-2, pages 653-657. DOI: 10.5220/0006214806530657

in Bibtex Style

@conference{icaart17,
author={Malek Mouhoub and Ahmed Mobaraki},
title={Graphics Processing Units for Constraint Satisfaction},
booktitle={Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2017},
pages={653-657},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006214806530657},
isbn={978-989-758-220-2},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Graphics Processing Units for Constraint Satisfaction
SN - 978-989-758-220-2
AU - Mouhoub M.
AU - Mobaraki A.
PY - 2017
SP - 653
EP - 657
DO - 10.5220/0006214806530657