Concurrent Constraint Logic Programming On Massively Parallel SIMD Computers.
Bo-Ming TongHo-fung LeungPublished in: ILPS (1993)
Keyphrases
- massively parallel
- constraint logic programming
- constraint solving
- parallel computing
- fine grained
- answer set programming
- logic programming
- constraint programming
- high performance computing
- mesh connected
- computer systems
- parallel machines
- constraint propagation
- parallel computers
- parallel architectures
- temporal reasoning
- parallel programming
- logic programs
- artificial intelligence
- graphics processing units