publikationen.bib

@incollection{fun/BrueggemanFFLKKPR12,
  author = {Leo Brueggeman and Michael R. Fellows and Rudolf Fleischer and Martin Lackner and Christian Komusiewicz and Yiannis Koutis and Andreas Pfandler and Frances A. Rosamond},
  title = {Train Marshalling Is Fixed Parameter Tractable},
  booktitle = {Proc.\ FUN 2012},
  series = {Lecture Notes in Computer Science},
  editor = {Evangelos Kranakis and Danny Krizanc and Flaminia Luccio},
  publisher = {Springer Berlin / Heidelberg},
  pages = {51-56},
  volume = {7288},
  year = {2012},
  pdf = {http://www.dbai.tuwien.ac.at/staff/lackner/publications/fun2012.pdf}
}
@inproceedings{comsoc/ErdelyiLP12-nearlysp,
  author = {G\'{a}bor Erd\'{e}lyi and Martin Lackner and Andreas Pfandler},
  title = {The Complexity of Nearly Single-Peaked Consistency},
  booktitle = {Proc.\ COMSOC 2012},
  year = {2012},
  pdf = {http://home.agh.edu.pl/~faliszew/COMSOC-2012/proceedings/paper_32.pdf}
}
@incollection{cocoa/LacknerPRW12-multicut,
  author = {Lackner, Martin and Pichler, Reinhard and R\"{u}mmele, Stefan and Woltran, Stefan},
  affiliation = {Institute of Information Systems, Vienna University of Technology, Austria},
  title = {Multicut on Graphs of Bounded Clique-Width},
  booktitle = {Proc.\ COCOA 2012},
  series = {Lecture Notes in Computer Science},
  editor = {Lin, Guohui},
  publisher = {Springer Berlin / Heidelberg},
  keyword = {Computer Science},
  pages = {115-126},
  volume = {7402},
  year = {2012},
  pdf = {http://www.dbai.tuwien.ac.at/staff/lackner/publications/multicut.pdf}
}
@incollection{swat/BrunerL12-ppm,
  author = {Bruner, Marie-Louise and Lackner, Martin},
  affiliation = {Institute of Discrete Mathematics and Geometry, Vienna University of Technology, Austria},
  title = {A Fast Algorithm for Permutation Pattern Matching Based on Alternating Runs},
  booktitle = {Proc.\ SWAT 2012},
  series = {Lecture Notes in Computer Science},
  editor = {Fomin, Fedor and Kaski, Petteri},
  publisher = {Springer Berlin / Heidelberg},
  keyword = {Computer Science},
  pages = {261-270},
  volume = {7357},
  year = {2012},
  pdf = {http://www.dbai.tuwien.ac.at/staff/lackner/publications/swat2012.pdf}
}
@inproceedings{kr/LacknerP12-minimalmodels,
  author = {Martin Lackner and Andreas Pfandler},
  title = {Fixed-Parameter Algorithms for Finding Minimal Models},
  booktitle = {Proc.\ KR 2012},
  editor = {Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith},
  year = {2012},
  publisher = {AAAI Press},
  pages = {85-95},
  pdf = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4548/4880}
}
@inproceedings{ecai/LacknerP12-closedworld,
  author = {Martin Lackner and Andreas Pfandler},
  title = {Fixed-Parameter Algorithms for Closed World Reasoning},
  booktitle = {Proc.\ ECAI 2012},
  editor = {Luc De Raedt and Christian Bessi{\`e}re and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas},
  publisher = {IOS Press},
  year = {2012},
  pages = {492-497},
  pdf = {http://www.dbai.tuwien.ac.at/staff/lackner/publications/smc.pdf}
}
@article{2012arXiv1211.2627E,
  author = {{Erd{\'e}lyi}, G. and {Lackner}, M. and {Pfandler}, A.},
  title = {{Computational Aspects of Nearly Single-Peaked Electorates}},
  journal = {ArXiv e-prints},
  archiveprefix = {arXiv},
  eprint = {1211.2627},
  primaryclass = {cs.CC},
  year = 2012,
  month = nov,
  adsurl = {http://adsabs.harvard.edu/abs/2012arXiv1211.2627E},
  adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}
@inproceedings{KR124512,
  author = {Nadia Creignou and Odile Papini and Reinhard Pichler and Stefan Woltran},
  title = {Belief Revision within Fragments of Propositional Logic},
  booktitle = {Knowledge Representation and Reasoning Conference},
  year = {2012},
  url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4512}
}
@article{dvorak20121,
  title = {Towards fixed-parameter tractable algorithms for abstract argumentation},
  journal = {Artificial Intelligence},
  volume = {186},
  number = {0},
  pages = {1 - 37},
  year = {2012},
  note = {},
  issn = {0004-3702},
  doi = {10.1016/j.artint.2012.03.005},
  url = {http://www.sciencedirect.com/science/article/pii/S0004370212000264},
  author = {Wolfgang Dvor\'ak and Reinhard Pichler and Stefan Woltran},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/dvorak20121.pdf}
}
@proceedings{DBLP:conf/datalog/2012,
  editor = {Pablo Barcel{\'o} and
               Reinhard Pichler},
  title = {Datalog in Academia and Industry - Second International
               Workshop, Datalog 2.0, Vienna, Austria, September 11-13,
               2012. Proceedings},
  booktitle = {Datalog},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7494},
  year = {2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/kr/CreignouPPW12,
  author = {Nadia Creignou and
               Odile Papini and
               Reinhard Pichler and
               Stefan Woltran},
  title = {Belief Revision within Fragments of Propositional Logic},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Thirteenth International Conference, KR 2012, Rome,
               Italy, June 10-14, 2012},
  publisher = {AAAI Press},
  year = {2012},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4512}
}
@article{DBLP:journals/jcss/PichlerS11,
  author = {Reinhard Pichler and
               Sebastian Skritek},
  title = {Tractable Counting of the Answers to Conjunctive Queries},
  journal = {J. Comput. Syst. Sci.},
  year = {2012},
  note = {to appear},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/InfInt/Publications/PichlerSkritek_TractableCountingCQ_amw11.pdf}
}
@article{PichlerRSW12,
  journal = {TPLP},
  title = {Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough},
  year = {2012},
  author = {Reinhard Pichler and Stefan R\"ummele and Stefan Szeider and Stefan Woltran},
  note = {to appear},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/PichlerRSW12.pdf}
}
@inproceedings{DBLP:conf/aaai/FellowsPRR12,
  title = {The Parameterized Complexity of Abduction},
  booktitle = {Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada},
  author = {Michael R. Fellows and Andreas Pfandler and Frances A. Rosamond and Stefan R\"ummele},
  year = {2012},
  url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5048},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/corr/abs-1204-3040,
  title = {Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough},
  journal = {CoRR},
  author = {Reinhard Pichler and Stefan R\"ummele and Stefan Szeider and Stefan Woltran},
  volume = {abs/1204.3040},
  year = {2012},
  url = {http://arxiv.org/abs/1204.3040},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{MorakMPRW12,
  volume = {7219},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  booktitle = {Learning and Intelligent Optimization - 6th International Conference, LION 6, Paris, France, January 16-20, 2012.},
  author = {Michael Morak and Nysret Musliu and Reinhard Pichler and Stefan R\"ummele and Stefan Woltran},
  year = {2012},
  title = {Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/lion.pdf}
}
@techreport{MorakMRWP11,
  author = {Michael Morak and Nysret Musliu and Stefan R\"ummele and Stefan Woltran and Reinhard Pichler},
  url = {http://www.dbai.tuwien.ac.at/research/report/index.html},
  title = {Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming},
  number = {DBAI-TR-2011-73},
  pdf = {http://www.dbai.tuwien.ac.at/staff/ruemmele/techreport-MorakMRWP11.pdf},
  year = {2011},
  type = {Technical Report},
  institution = {Technische Universit\"at Wien}
}
@article{EglyGW10,
  author = {Uwe Egly and
               Sarah A. Gaggl and
               Stefan Woltran},
  title = {Answer-set programming encodings for argumentation frameworks},
  journal = {Argument \& Computation},
  volume = {1},
  number = {2},
  year = {2010},
  pages = {147-177},
  url = {http://www.informaworld.com/10.1080/19462166.2010.486479},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/EglyGW10.pdf}
}
@article{GottlobPW10a,
  author = {Georg Gottlob and
               Reinhard Pichler and
               Fang Wei},
  title = {Bounded treewidth as a key to tractability of knowledge
               representation and reasoning},
  journal = {Artif. Intell.},
  volume = {174},
  number = {1},
  year = {2010},
  pages = {105-132},
  url = {http://dx.doi.org/10.1016/j.artint.2009.10.003},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/GottlobPW10a.pdf}
}
@article{DBLP:journals/tocl/GottlobPW10,
  author = {Georg Gottlob and
               Reinhard Pichler and
               Fang Wei},
  title = {Monadic datalog over finite structures of bounded treewidth},
  journal = {ACM Trans. Comput. Log.},
  volume = {12},
  number = {1},
  year = {2010},
  pages = {3},
  ee = {http://doi.acm.org/10.1145/1838552.1838555},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/toclGottlobPW10.pdf}
}
@article{GottlobPW10c,
  author = {Georg Gottlob and
               Reinhard Pichler and
               Fang Wei},
  title = {Tractable database design and datalog abduction through
               bounded treewidth},
  journal = {Inf. Syst.},
  volume = {35},
  number = {3},
  year = {2010},
  pages = {278-298},
  ee = {http://dx.doi.org/10.1016/j.is.2009.09.003},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/GottlobPW10c.pdf}
}
@article{TruszczynskiW08a,
  author = {Miroslaw Truszczynski and
               Stefan Woltran},
  title = {Hyperequivalence of logic programs with respect to supported
               models},
  journal = {Ann. Math. Artif. Intell.},
  volume = {53},
  number = {1-4},
  year = {2008},
  pages = {331-365},
  ee = {http://dx.doi.org/10.1007/s10472-009-9119-8},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/TruszczynskiW08a.pdf}
}
@article{TruszczynskiW09,
  author = {Miroslaw Truszczynski and
               Stefan Woltran},
  title = {Relativized hyperequivalence of logic programs for modular
               programming},
  journal = {TPLP},
  volume = {9},
  number = {6},
  year = {2009},
  pages = {781-819},
  ee = {http://dx.doi.org/10.1017/S1471068409990159},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/TruszczynskiW09.pdf}
}
@inproceedings{DBLP:conf/kr/DvorakPW10,
  author = {Wolfgang Dvor{\'a}k and
               Reinhard Pichler and
               Stefan Woltran},
  title = {Towards Fixed-Parameter Tractable Algorithms for Argumentation},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Twelfth International Conference, KR 2010, Toronto,
               Ontario, Canada, May 9-13, 2010},
  year = {2010},
  pages = {112-122},
  ee = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1331},
  editor = {Fangzhen Lin and
               Ulrike Sattler and
               Miroslaw Truszczynski},
  publisher = {AAAI Press},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/krDvorakPW10.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DvorakSW10,
  author = {Wolfgang Dvor{\'a}k and
               Stefan Szeider and
               Stefan Woltran},
  title = {Reasoning in Argumentation Frameworks of Bounded Clique-Width},
  editor = {Pietro Baroni and
               Federico Cerutti and
               Massimiliano Giacomin and
               Guillermo R. Simari},
  booktitle = {Proceedings of the 3rd International Conference on Computational Models of Argument,
               (COMMA'10), Desenzano del Garda, Italy, Septembr 8-10, 2010},
  publisher = {IOS Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {216},
  year = {2010},
  pages = {219-230},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/DvorakSW10.pdf}
}
@inproceedings{HammerlM10,
  author = {Thomas Hammerl and
               Nysret Musliu},
  title = {Ant Colony Optimization for Tree Decompositions},
  editor = {Peter I. Cowling and
               Peter Merz},
  booktitle = {Proceedings of the Evolutionary 10th European Conference on Computation in Combinatorial Optimization,
               (EvoCOP'10), Istanbul, Turkey, April 7-9, 2010},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6022},
  year = {2010},
  pages = {95-106},
  ee = {http://dx.doi.org/10.1007/978-3-642-12139-5_9},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/HammerlM10.pdf}
}
@inproceedings{HermannP08,
  author = {Miki Hermann and
               Reinhard Pichler},
  title = {Counting Complexity of Minimal Cardinality and Minimal Weight
               Abduction},
  booktitle = {Proceedings of the 11th European Conference on Logics in Artificial Intelligence,
               (JELIA'08), September 28 - October 1, 2008, Dresden, Germany},
  editor = {Steffen H{\"o}lldobler and
               Carsten Lutz and
               Heinrich Wansing},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5293},
  year = {2008},
  pages = {206-218},
  ee = {http://dx.doi.org/10.1007/978-3-540-87803-2_18},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/HermannP08.pdf}
}
@inproceedings{JaklPRW08b,
  author = {Michael Jakl and
               Reinhard Pichler and
               Stefan R{\"u}mmele and
               Stefan Woltran},
  title = {Fast Counting with Bounded Treewidth},
  booktitle = {Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning,
               (LPAR'08), November 22-27, 2008, Doha, Qatar},
  editor = {Iliano Cervesato and
               Helmut Veith and
               Andrei Voronkov},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5330},
  year = {2008},
  pages = {436-450},
  ee = {http://dx.doi.org/10.1007/978-3-540-89439-1_31},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/JaklPRW08b.pdf}
}
@inproceedings{JaklPW09,
  author = {Michael Jakl and
               Reinhard Pichler and
               Stefan Woltran},
  title = {Answer-Set Programming with Bounded Treewidth},
  booktitle = {Proceedings of the 21st International Joint Conference on Artificial Intelligence,
               (IJCAI'09), Pasadena, California, USA, July 11-17, 2009},
  editor = {Craig Boutilier},
  year = {2009},
  pages = {816-822},
  ee = {http://ijcai.org/papers09/Papers/IJCAI09-140.pdf},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/JaklPW09.pdf}
}
@inproceedings{MorakPRW10,
  author = {Michael Morak and
               Reinhard Pichler and
               Stefan R{\"u}mmele and
               Stefan Woltran},
  title = {A Dynamic-Programming Based ASP-Solver},
  booktitle = {Proceedings of the 12th European Conference on Logics in Artificial Intelligence,
               (JELIA'10), Helsinki, Finland, September 13-15, 2010},
  editor = {Tomi Janhunen and
               Ilkka Niemel{\"a}},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6341},
  year = {2010},
  pages = {369-372},
  ee = {http://dx.doi.org/10.1007/978-3-642-15675-5_34},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/MorakPRW10.pdf}
}
@inproceedings{PichlerRSW10,
  author = {Reinhard Pichler and
               Stefan R{\"u}mmele and
               Stefan Szeider and
               Stefan Woltran},
  title = {Tractable Answer-Set Programming with Weight Constraints:
               Bounded Treewidth Is not Enough},
  booktitle = {Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning,
               (KR'10), Toronto, Ontario, Canada, May 9-13, 2010},
  editor = {Fangzhen Lin and
               Ulrike Sattler and
               Miroslaw Truszczynski},
  publisher = {AAAI Press},
  year = {2010},
  pages = {508-517},
  ee = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1368},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/PichlerRSW10.pdf}
}
@inproceedings{PichlerRW09,
  author = {Reinhard Pichler and
               Stefan R{\"u}mmele and
               Stefan Woltran},
  title = {Belief Revision with Bounded Treewidth},
  booktitle = {Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning,
               (LPNMR'09), Potsdam, Germany, September 14-18, 2009},
  editor = {Esra Erdem and
               Fangzhen Lin and
               Torsten Schaub},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5753},
  year = {2009},
  pages = {250-263},
  ee = {http://dx.doi.org/10.1007/978-3-642-04238-6_22},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/PichlerRW09.pdf}
}
@inproceedings{PichlerRW10a,
  author = {Reinhard Pichler and
               Stefan R{\"u}mmele and
               Stefan Woltran},
  title = {Counting and Enumeration Problems with Bounded Treewidth},
  booktitle = {Proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning,
               (LPAR-16), April 25 - May 1, 2010, Dakar, Senegal},
  editor = {Edmund M. Clarke and
               Andrei Voronkov},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {6355},
  year = {2010},
  pages = {387-404},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/PichlerRW10a.pdf}
}
@inproceedings{PichlerRW10b,
  author = {Reinhard Pichler and
               Stefan R{\"u}mmele and
               Stefan Woltran},
  title = {Multicut Algorithms via Tree Decompositions},
  booktitle = {Proceedings of the 7th International Conference on Algorithms and Complexity,
               (CIAC'10), Rome, Italy, May 26-28, 2010},
  editor = {Tiziana Calamoneri and
               Josep D\'{\i}az},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6078},
  year = {2010},
  pages = {167-179},
  ee = {http://dx.doi.org/10.1007/978-3-642-13073-1_16},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/PichlerRW10b.pdf}
}
@inproceedings{PichlerW10,
  author = {Reinhard Pichler and
               Stefan Woltran},
  title = {The Complexity of Handling Minimal Solutions in Logic-Based
               Abduction},
  booktitle = {Proceedings of the 19th European Conference on Artificial Intelligence,
               (ECAI'10), Lisbon, Portugal, August 16-20, 2010},
  editor = {Helder Coelho and
               Rudi Studer and
               Michael Wooldridge},
  publisher = {IOS Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {215},
  year = {2010},
  pages = {895-900},
  ee = {http://dx.doi.org/10.3233/978-1-60750-606-5-895},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/PichlerW10.pdf}
}
@inproceedings{TruszczynskiW08b,
  author = {Miroslaw Truszczynski and
               Stefan Woltran},
  title = {Relativized Hyperequivalence of Logic Programs for Modular
               Programming},
  editor = {Maria Garcia de la Banda and
               Enrico Pontelli},
  booktitle = {Proceedings of the 24th International Conference on Logic Programming,
               (ICLP'08), Udine, Italy, December 9-13, 2008},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5366},
  year = {2008},
  pages = {576-590},
  ee = {http://dx.doi.org/10.1007/978-3-540-89982-2_48},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/TruszczynskiW08b.pdf}
}
@techreport{JaklPRW08a,
  author = {Michael Jakl and
                 Reinhard Pichler and
                 Stefan R{\"u}mmele and
                 Stefan Woltran},
  title = {Fast Counting with Bounded Treewidth},
  institution = {Technische Universit{\"a}t Wien},
  year = {2008},
  type = {Technical Report},
  number = {DBAI-TR-2008-61},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/JaklPRW08a.pdf}
}
@article{DBLP:journals/jcss/HermannP10,
  author = {Miki Hermann and
               Reinhard Pichler},
  title = {Counting complexity of propositional abduction},
  journal = {J. Comput. Syst. Sci.},
  volume = {76},
  number = {7},
  year = {2010},
  pages = {634-649},
  ee = {http://dx.doi.org/10.1016/j.jcss.2009.12.001},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/jcssHermannP10.pdf}
}
@techreport{PichlerRW10,
  author = {Reinhard Pichler and Stefan R\"ummele and Stefan Woltran},
  url = {http://www.dbai.tuwien.ac.at/research/report/index.html},
  title = {Multicut Algorithms via Tree Decompositions},
  number = {DBAI-TR-2010-67},
  pdf = {http://www.dbai.tuwien.ac.at/staff/ruemmele/techreport-PichlerRW10.pdf},
  year = {2010},
  type = {Technical Report},
  institution = {Technische Universit├Ąt Wien}
}
@inproceedings{DBLP:conf/ictai/MorakMPRW11,
  author = {Michael Morak and
               Nysret Musliu and
               Reinhard Pichler and
               Stefan R{\"u}mmele and
               Stefan Woltran},
  title = {A New Tree-Decomposition Based Algorithm for Answer Set
               Programming},
  booktitle = {IEEE 23rd International Conference on Tools with Artificial
               Intelligence, ICTAI 2011, Boca Raton, FL, USA, November
               7-9, 2011},
  year = {2011},
  pages = {916-918},
  ee = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2011.154},
  publisher = {IEEE},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/ictai.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/corr/abs-1109-1951,
  author = {Marie-Louise Bruner and
               Martin Lackner},
  title = {A W[1]-Completeness Result for Generalized Permutation Pattern
               Matching},
  journal = {CoRR},
  volume = {abs/1109.1951},
  year = {2011},
  url = {http://arxiv.org/abs/1109.1951},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{CreignouSTW11,
  title = { Complexity of logic-based argumentation in Post's framework},
  author = {Nadia Creignou and Johannes Schmidt and Michael Thomas and Stefan Woltran },
  journal = {Argument and Computation},
  volume = {2},
  number = {2-3},
  pages = {107--129},
  year = {2011},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/post.pdf}
}
@inproceedings{DBLP:conf/ijcai/DvorakDW11,
  author = {Wolfgang Dvor{\'a}k and
               Paul E. Dunne and
               Stefan Woltran},
  title = {Parametric Properties of Ideal Semantics},
  booktitle = {IJCAI 2011, Proceedings of the 22nd International Joint
               Conference on Artificial Intelligence, Barcelona, Catalonia,
               Spain, July 16-22, 2011},
  year = {2011},
  pages = {851-856},
  pdf = {http://ijcai.org/papers11/Papers/IJCAI11-148.pdf},
  publisher = {IJCAI/AAAI},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/corr/abs-1108-4804,
  author = {Wolfgang Dvor{\'a}k and
               Michael Morak and
               Clemens Nopp and
               Stefan Woltran},
  title = {dynPARTIX - A Dynamic Programming Reasoner for Abstract
               Argumentation},
  journal = {CoRR},
  volume = {abs/1108.4804},
  year = {2011},
  url = {http://arxiv.org/abs/1108.4804},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@incollection{HammerlMS11,
  author = {Thomas Hammerl and Nysret Musliu and Werner Schafhauser},
  title = {Metaheuristic Algorithms and Tree Decomposition},
  booktitle = {Handbook of Computational Intelligence},
  note = {To appear}
}
@inproceedings{Musliu11a,
  author = {Nysret Musliu},
  title = {Constructing Cyclic Staff Schedules by Iterated Local Search (extended abstract)},
  booktitle = {Proceedings MIC 2011},
  year = {2011},
  pages = {655-657},
  pdf = {www.dbai.tuwien.ac.at/staff/musliu/RotaMIC2011.pdf}
}
@inproceedings{DBLP:conf/amw/PichlerS11,
  author = {Reinhard Pichler and
               Sebastian Skritek},
  title = {Tractable Counting of the Answers to Conjunctive Queries},
  booktitle = {Proceedings of the 5th Alberto Mendelzon International Workshop
               on Foundations of Data Management, Santiago, Chile, May
               9-12, 2011},
  year = {2011},
  ee = {http://ceur-ws.org/Vol-749/paper4.pdf},
  editor = {Pablo Barcel{\'o} and
               Val Tannen},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  volume = {749},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/PichlerS11.pdf}
}
@inproceedings{DBLP:conf/icdt/PichlerS11,
  author = {Reinhard Pichler and
               Sebastian Skritek},
  title = {The complexity of evaluating tuple generating dependencies},
  booktitle = {Database Theory - ICDT 2011, 14th International Conference,
               Uppsala, Sweden, March 21-24, 2011, Proceedings},
  year = {2011},
  pages = {244-255},
  ee = {http://doi.acm.org/10.1145/1938551.1938583},
  editor = {Tova Milo},
  publisher = {ACM},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  pdf = {http://www.dbai.tuwien.ac.at/research/project/tractability/PichlerS11b.pdf}
}

This file was generated by bibtex2html 1.97.