Partially grounded planning as quantified boolean formula

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

Original language	English
Title of host publication	Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS'12)
Publication status	Published - 25 Jun 2012

Keywords

@inproceedings{697de77482b04d67b39dff693141fd87,

title = "Partially grounded planning as quantified boolean formula",

keywords = "planning, quantified boolean formula, translating bounded propositional reachability problems",

author = "Michael Cashmore and Maria Fox",

year = "2012",

month = jun,

day = "25",

language = "English",

booktitle = "Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS'12)",

}

TY - GEN

T1 - Partially grounded planning as quantified boolean formula

AU - Cashmore, Michael

AU - Fox, Maria

PY - 2012/6/25

Y1 - 2012/6/25

KW - planning

KW - quantified boolean formula

KW - translating bounded propositional reachability problems

M3 - Conference contribution book

BT - Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS'12)

ER -