D-FLAT: Declarative problem solving using tree decompositions and answer-set programming (Q4911127): Difference between revisions
From MaRDI portal
Latest revision as of 07:18, 6 July 2024
scientific article; zbMATH DE number 6144681
Language | Label | Description | Also known as |
---|---|---|---|
English | D-FLAT: Declarative problem solving using tree decompositions and answer-set programming |
scientific article; zbMATH DE number 6144681 |
Statements
D-FLAT: Declarative problem solving using tree decompositions and answer-set programming (English)
0 references
13 March 2013
0 references
D-FLAT encoding
0 references
dynamic programming algorithms
0 references