Planning with Effectively Propositional Logic

Juan Antonio Navarro Pérez, Andrei Voronkov

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Programming Logics - Essays in Memory of Harald Ganzinger
Pages	302-316
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-642-37651-1_13
Publication status	Published - 2013

Access to Document

@inproceedings{39e57b12d3fe44768dc9d2e15146ed0f,

title = "Planning with Effectively Propositional Logic",

author = "P{\'e}rez, {Juan Antonio Navarro} and Andrei Voronkov",

year = "2013",

doi = "10.1007/978-3-642-37651-1_13",

language = "English",

pages = "302--316",

booktitle = "Programming Logics - Essays in Memory of Harald Ganzinger",

}