Verified SAT-Based AI Planning

Mohammad Abdulaziz, Friedrich Kurz. Verified SAT-Based AI Planning. Archive of Formal Proofs, 2020, 2020. [doi]

Abstract

Abstract is missing.