Parallel instantiation of ASP programs: techniques and experiments (Q5299587)
From MaRDI portal
scientific article; zbMATH DE number 6181254
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Parallel instantiation of ASP programs: techniques and experiments |
scientific article; zbMATH DE number 6181254 |
Statements
Parallel instantiation of ASP programs: techniques and experiments (English)
0 references
26 June 2013
0 references
answer-set programming
0 references
instantiation
0 references
parallelism
0 references
heuristics
0 references
