Automatic construction of optimal static sequential portfolios for AI planning and beyond (Q898741)

From MaRDI portal





scientific article; zbMATH DE number 6522391
Language Label Description Also known as
default for all languages
No label defined
    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
      0 references
      0 references
      0 references
      18 December 2015
      0 references
      portfolios
      0 references
      automated planning
      0 references
      SAT
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers