Enlisting GPU Power for Constraint Solving

Applying parallelism to constraint solving seems a promising approach and it has been done with varying degrees of success. Early attempts to parallelize constraint propagation, which constitutes the core of traditional interleaved propagation and search constraint solving, were hindered by its esse...

Full description

Bibliographic Details
Main Author: Roque, Pedro (author)
Other Authors: Pedro, Vasco (author), Abreu, Salvador (author)
Format: article
Language:eng
Published: 2018
Subjects:
Online Access:http://hdl.handle.net/10174/23045
Country:Portugal
Oai:oai:dspace.uevora.pt:10174/23045