Contraint solving on massively parallel systems

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

ver descrição completa

Detalhes bibliográficos
Autor principal: Roque, Pedro Miguel da Silva (author)
Formato: doctoralThesis
Idioma:eng
Publicado em: 2020
Assuntos:
Texto completo:http://hdl.handle.net/10174/27976
País:Portugal
Oai:oai:dspace.uevora.pt:10174/27976