Planning as satisfiability

Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
JournalArtificial Intelligence
Volume170
Issue number12-13
Pages (from-to)1031-1080
ISSN0004-3702
DOIs
Publication statusPublished - 2006
Externally publishedYes
MoE publication typeA1 Journal article-refereed

Fields of Science

  • Complexity
  • Planning
  • Satisfiability

Cite this