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/ictai/MorakMPRW11
%A Morak, Michael
%A Musliu, Nysret
%A Pichler, Reinhard
%A Rümmele, Stefan
%A Woltran, Stefan
%B ICTAI
%D 2011
%I IEEE Computer Society
%K dblp
%P 916-918
%T A New Tree-Decomposition Based Algorithm for Answer Set Programming.
%U http://dblp.uni-trier.de/db/conf/ictai/ictai2011.html#MorakMPRW11
%@ 978-1-4577-2068-0
@inproceedings{conf/ictai/MorakMPRW11,
added-at = {2014-12-19T00:00:00.000+0100},
author = {Morak, Michael and Musliu, Nysret and Pichler, Reinhard and Rümmele, Stefan and Woltran, Stefan},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20469de9f5e56afddbaa7f4fa2520526e/dblp},
booktitle = {ICTAI},
crossref = {conf/ictai/2011},
ee = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2011.154},
interhash = {d73e1e7e2aa8d2618e64a2d91c16a076},
intrahash = {0469de9f5e56afddbaa7f4fa2520526e},
isbn = {978-1-4577-2068-0},
keywords = {dblp},
pages = {916-918},
publisher = {IEEE Computer Society},
timestamp = {2016-02-02T12:46:08.000+0100},
title = {A New Tree-Decomposition Based Algorithm for Answer Set Programming.},
url = {http://dblp.uni-trier.de/db/conf/ictai/ictai2011.html#MorakMPRW11},
year = 2011
}