Parallel encodings of classical planning as satisfiability

Jussi Rintanen; Keijo Heljanko; Ilkka Niemelä

Parallel encodings of classical planning as satisfiability

Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä

Research output: Book/Report › Commissioned report

Original language	English

Publication status	Published - 2004
Externally published	Yes
MoE publication type	D4 Published development or research report or study

Fields of Science

planning
propositional logic
satisfiability testing

Cite this

@book{04825b94941947c384387eaf97ec5005,

title = "Parallel encodings of classical planning as satisfiability",

keywords = "planning, propositional logic, satisfiability testing, planning, propositional logic, satisfiability testing, planning, propositional logic, satisfiability testing",

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

year = "2004",

language = "English",

}

TY - BOOK

T1 - Parallel encodings of classical planning as satisfiability

AU - Rintanen, Jussi

AU - Heljanko, Keijo

AU - Niemelä, Ilkka

PY - 2004

Y1 - 2004

KW - planning

KW - propositional logic

KW - satisfiability testing

KW - planning

KW - propositional logic

KW - satisfiability testing

KW - planning

KW - propositional logic

KW - satisfiability testing

M3 - Commissioned report

BT - Parallel encodings of classical planning as satisfiability

ER -