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


    • planning
    • propositional logic
    • satisfiability testing

    Cite this