Parallel Encodings of Classical Planning as Satisfiability

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


Research units

  • University of Freiburg


Original languageEnglish
Title of host publicationLogics in Artificial Intelligence
Subtitle of host publication9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings
EditorsJosé Júlio Alferes, Joâo Leite
Publication statusPublished - 2004
MoE publication typeA4 Article in a conference publication

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
ISSN (Print)0302-9743

    Research areas

  • planning, propositional logic, satisfiability testing

ID: 3785293