Planning as satisfiability with IPC simple preferences and action costs

DOI10.3233/AIC-2012-0540zbMath1248.68458OpenAlexW1808487372MaRDI QIDQ3164979

Marco Maratea

Publication date: 25 October 2012

Published in: AI Communications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/aic-2012-0540

zbMATH Keywords

planningsatisfiability

Mathematics Subject Classification ID

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

Related Items

Domain-Independent Cost-Optimal Planning in ASP

Uses Software

• CP-nets
• CPLEX
• Walksat
• MiniMaxSat