Planning as Satisfiability: Parallel Plans and Algorithms for Plan Search

Research output: Working paperProfessional


Research units

  • University of Freiburg


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

    Research areas

  • planning, propositional logic, satisfiability testing

ID: 3941947