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ä

Tutkimustuotos: Kirja/raportti › Tutkimusraportti

Alkuperäiskieli	englanti

Tila	Julkaistu - 2004
Julkaistu ulkoisesti	Kyllä
OKM-julkaisutyyppi	D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys

Tieteenalat

planning
propositional logic
satisfiability testing

Siteeraa tätä

@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 -