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

DOI10.1016/j.artint.2015.05.005zbMath1346.68179MaRDI QIDQ898741

Sergio Núñez, Daniel Borrajo, Carlos Linares López

Publication date: 18 December 2015

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2015.05.005

zbMATH Keywords

SAT; portfolios; automated planning

Mathematics Subject Classification ID

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Uses Software

• MiniSat
• Paramils
• SATzilla
• SATenstein
• aspeed