Planning as satisfiability

Jussi Rintanen; Keijo Heljanko; Ilkka Niemelä

doi:10.1016/j.artint.2006.08.002

Planning as satisfiability

Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Journal	Artificial Intelligence
Volume	170
Issue number	12-13
Pages (from-to)	1031-1080
ISSN	0004-3702
DOIs	https://doi.org/10.1016/j.artint.2006.08.002
Publication status	Published - 2006
Externally published	Yes
MoE publication type	A1 Journal article-refereed

Fields of Science

Complexity
Planning
Satisfiability

Access to Document

10.1016/j.artint.2006.08.002

Cite this

@article{83fc35158bfd461c91abc0dc72e0be77,

title = "Planning as satisfiability",

keywords = "Complexity, Planning, Satisfiability, Complexity, Planning, Satisfiability, Complexity, Planning, Satisfiability",

author = "Jussi Rintanen and Keijo Heljanko and Ilkka Niemel{\"a}",

year = "2006",

doi = "10.1016/j.artint.2006.08.002",

language = "English",

volume = "170",

pages = "1031--1080",

journal = "Artificial Intelligence",

issn = "0004-3702",

publisher = "Elsevier Scientific Publ. Co",

number = "12-13",

}

TY - JOUR

T1 - Planning as satisfiability

AU - Rintanen, Jussi

AU - Heljanko, Keijo

AU - Niemelä, Ilkka

PY - 2006

Y1 - 2006

KW - Complexity

KW - Planning

KW - Satisfiability

KW - Complexity

KW - Planning

KW - Satisfiability

KW - Complexity

KW - Planning

KW - Satisfiability

U2 - 10.1016/j.artint.2006.08.002

DO - 10.1016/j.artint.2006.08.002

M3 - Article

VL - 170

SP - 1031

EP - 1080

JO - Artificial Intelligence

JF - Artificial Intelligence

SN - 0004-3702

IS - 12-13

ER -