Automatic construction of optimal static sequential portfolios for AI planning and beyond (Q898741)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automatic construction of optimal static sequential portfolios for AI planning and beyond |
scientific article; zbMATH DE number 6522391
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatic construction of optimal static sequential portfolios for AI planning and beyond |
scientific article; zbMATH DE number 6522391 |
Statements
Automatic construction of optimal static sequential portfolios for AI planning and beyond (English)
0 references
18 December 2015
0 references
portfolios
0 references
automated planning
0 references
SAT
0 references
0.82433623
0 references
0.8232491
0 references
0.81102777
0 references
0.80278283
0 references
0 references