Parallel backtracking with answer memoing for independent and-parallelism (Q3087444)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Parallel backtracking with answer memoing for independent and-parallelism |
scientific article |
Statements
Parallel backtracking with answer memoing for independent and-parallelism (English)
0 references
16 August 2011
0 references
parallelism
0 references
logic programming
0 references
memoization
0 references
backtracking
0 references
performance
0 references