Formally Verified SAT-Based AI Planning.

Mohammad Abdulaziz, Friedrich Kurz

Browse the full AAAI paper archive.