Team
Research
Courses
News
Jobs
Contact
Internal
Light
Dark
Automatic
1
Path Schematization for Route Sketches
Algorithm Theory (SWAT'10)
(Kaplan, H.), volume 6139 of
LNCS
, pages 285-296, 2010, Springer Berlin Heidelberg.
Delling, Daniel
,
Gemsa, Andreas
,
Martin Nöllenburg
,
Pajor, Thomas
bib
DOI
Reasoning in Argumentation Frameworks of Bounded Clique-Width
Computational Models of Argumentation, Proceedings of COMMA 2010
(Pietro Baroni and Federico Cerutti and Massimiliano Giacomin and Guillermo R. Simari), volume 216 of
Frontiers in Artificial Intelligence and Applications
, pages 219-230, 2010.
Dvor{\'a}k
,
Stefan Szeider
,
Stefan Woltran
bib
Satisfiability of Acyclic and Almost Acyclic CNF Formulas
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India
(Kamal Lodaya and Meena Mahajan), volume 8 of
LIPIcs
, pages 84-95, 2010, Leibniz-Zentrum fuer Informatik.
Sebastian Ordyniak
,
Dani{\"e}l Paulusma
,
Stefan Szeider
bib
Schauder Hats for the Two-Variable Fragment of BL
40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010
, pages 27-32, 2010.
Stefano Aguzzoli
,
Simone Bova
bib
Shooting Bricks with Orthogonal Laser Beams: A First Step towards Internal/External Map Labeling
Canadian Conference on Computational Geometry (CCCG ‘10)
, pages 203-206, 2010, University of Manitoba.
Löffler, Maarten
,
Martin Nöllenburg
PDF
bib
Similarity Searching in Sequences of Complex Events
Proceedings of the Fourth International Conference on Research Challenges in Information Science – RCIS 2010
, pages 631-639, 2010, IEEE CPS.
Hannes Obweger
,
Martin Suntinger
,
Josef Schiefer
,
Günther Raidl
PDF
bib
Solving MAX-r-SAT Above a Tight Lower Bound
Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2010, Austin, Texas, USA, January 17-19, 2010
(Moses Charikar), pages 511-517, 2010, SIAM.
Noga Alon
,
Gregory Gutin
,
Eun Jung Kim
,
Stefan Szeider
,
Anders Yeo
bib
DOI
Solving the Minimum Label Spanning Tree Problem by Ant Colony Optimization
Proceedings of the 2010 International Conference on Genetic and Evolutionary Methods, GEM~2010
(H. Arabnia and A. M. G. Solo), 2010, CSREA Press.
Andreas M. Chwatal
,
Günther Raidl
PDF
bib
Strong Lower Bounds for a Survivable Network Design Problem
ISCO 2010 – International Symposium on Combinatorial Optimization
(M. Haouari and A. R. Mahjoub), volume 36 of
Electronic Notes in Discrete Mathematics
, pages 295-302, 2010, Elsevier.
Markus Leitner
,
Günther Raidl
PDF
bib
Thread Graphs, Linear Rank-Width and Their Algorithmic Applications
Combinatorial Algorithms - 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers
, volume 6460 of
Lecture Notes in Computer Science
, pages 38-42, 2010, Springer.
Robert Ganian
bib
«
»
bib
×