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...

ver descrição completa

Detalhes bibliográficos
Autor principal: Roque, Pedro (author)
Outros Autores: Pedro, Vasco (author), Abreu, Salvador (author)
Formato: article
Idioma:eng
Publicado em: 2018
Assuntos:
Texto completo:http://hdl.handle.net/10174/23045
País:Portugal
Oai:oai:dspace.uevora.pt:10174/23045