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...
Autor principal: | |
---|---|
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 |