scientific article; zbMATH DE number 6261538

DOI10.4230/LIPIcs.ICLP.2012.176zbMath1281.68206MaRDI QIDQ5398056

Roland Kaminski, Torsten Schaub, Marius Thomas Schneider, Holger H. Hoos

Publication date: 25 February 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

answer set programmingportfolio-based solvingalgorithm schedule

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35) Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (4)

Automatic construction of optimal static sequential portfolios for AI planning and beyond ⋮ A machine learning system to improve the performance of ASP solving based on encoding selection ⋮ Automatic construction of parallel portfolios via algorithm configuration ⋮ aspeed

This page was built for publication: