Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/ijcai/HaanKP15
%A de Haan, Ronald
%A Kronegger, Martin
%A Pfandler, Andreas
%B IJCAI
%D 2015
%E Yang, Qiang
%E Wooldridge, Michael J.
%I AAAI Press
%K dblp
%P 2897-2903
%T Fixed-Parameter Tractable Reductions to SAT for Planning.
%U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2015.html#HaanKP15
%@ 978-1-57735-738-4
@inproceedings{conf/ijcai/HaanKP15,
added-at = {2019-08-20T00:00:00.000+0200},
author = {de Haan, Ronald and Kronegger, Martin and Pfandler, Andreas},
biburl = {https://www.bibsonomy.org/bibtex/290537950cda892d460aa019b44f49217/dblp},
booktitle = {IJCAI},
crossref = {conf/ijcai/2015},
editor = {Yang, Qiang and Wooldridge, Michael J.},
ee = {http://ijcai.org/Abstract/15/410},
interhash = {7a9e812724e5b3f34c85d1d308e15c3d},
intrahash = {90537950cda892d460aa019b44f49217},
isbn = {978-1-57735-738-4},
keywords = {dblp},
pages = {2897-2903},
publisher = {AAAI Press},
timestamp = {2019-08-21T11:54:26.000+0200},
title = {Fixed-Parameter Tractable Reductions to SAT for Planning.},
url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2015.html#HaanKP15},
year = 2015
}