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ä

Forskningsoutput: Bok/rapport › Beställd rapport

Originalspråk	engelska

Status	Publicerad - 2004
Externt publicerad	Ja
MoE-publikationstyp	D4 Publicerad utvecklings- eller forskningsrapport eller studie

Vetenskapsgrenar

planning
propositional logic
satisfiability testing

Citera det här

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