Compilation-Based Approaches to Parallel Planning: An Empirical Comparison

Automated planning deals with finding a sequence of actions, a plan, to reach a goal. One of the possible approaches to automated planning is a compilation of a planning problem to a Boolean satisfiability problem or to a constraint satisfaction problem, which takes direct advantage of the advanceme...

Full description

Saved in:
Bibliographic Details
Main Authors: Kristýna Pantůčková, Roman Barták
Format: Article
Language:English
Published: LibraryPress@UF 2021-04-01
Series:Proceedings of the International Florida Artificial Intelligence Research Society Conference
Subjects:
Online Access:https://journals.flvc.org/FLAIRS/article/view/128537
Tags: Add Tag
No Tags, Be the first to tag this record!