Lilotane: A Lifted SAT-based Approach to Hierarchical Planning

DOI10.1613/jair.1.12520OpenAlexW3136522523MaRDI QIDQ5856493

Dominik Schreiber

Publication date: 26 March 2021

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

Full work available at URL: https://doi.org/10.1613/jair.1.12520

zbMATH Keywords

planningproblem solvingsatisfiability

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Related Items (1)

Scalable SAT solving in the cloud

This page was built for publication: Lilotane: A Lifted SAT-based Approach to Hierarchical Planning