Planning as Satisfiability: Parallel Plans and Algorithms for Plan Search

Research output: Working paperProfessional

Researchers

Research units

  • University of Freiburg

Details

Original languageEnglish
Place of PublicationFreiburg, Germany
PublisherAlbert-Ludwigs-Universität Freiburg
Number of pages56
Publication statusPublished - 2004
MoE publication typeD4 Published development or research report or study

Publication series

NameTechnical Reports of the Institute of Computer Science at Freiburg University
No.216

    Research areas

  • planning, propositional logic, satisfiability testing

ID: 3941947