Parallel encodings of classical planning as satisfiability

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationFreiburg, Germany
    Publication statusPublished - 2004
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameTechnical Reports
    PublisherInstitute of Computer Science at Freiburg University
    No.198

    Keywords

    • planning
    • propositional logic
    • satisfiability testing

    Cite this

    Rintanen, J., Heljanko, K., & Niemelä, I. (2004). Parallel encodings of classical planning as satisfiability. (Technical Reports; No. 198). Freiburg, Germany.