Parallel encodings of classical planning as satisfiability

Research output: Working paperProfessional

Researchers

Research units

Details

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

    Research areas

  • planning, propositional logic, satisfiability testing

ID: 3948536