Forschungsbereich Algorithms and Complexity

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192-01 - Forschungsbereich Algorithms and Complexity
 
Code Kennzahl
E192-01
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 61-80 of 439 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
61Bhore-2022-Minimum Link Fencing-vor.pdf.jpgBhore, Sujoy ; Klute, Fabian ; Löffler, Maarten ; Nöllenburg, Martin ; Terziadis, Soeren ; Villedieu, Anais Minimum Link FencingInproceedings Konferenzbeitrag 14-Dec-2022
62Dreier-2022-Combinatorial and Algorithmic Aspects of Monadic Stability-vor.pdf.jpgDreier, Jan ; Mählmann, Nikolas ; Mouawad, Amer ; Siebertz, Sebastian ; Vigny, Alexandre Combinatorial and Algorithmic Aspects of Monadic StabilityInproceedings Konferenzbeitrag 14-Dec-2022
63Chen, Jiehua ; Nöllenburg, Martin ; Simola, Sofia ; Villedieu, Anaïs ; Wallinger, Markus Multidimensional Manhattan PreferencesInproceedings Konferenzbeitrag 29-Oct-2022
64Dobler, Alexander ; Nöllenburg, Martin On Computing Optimal Linear DiagramsInproceedings Konferenzbeitrag 7-Sep-2022
65Eiben-2022-Finding a Cluster in Incomplete Data-vor.pdf.jpgEiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan Finding a Cluster in Incomplete DataInproceedings Konferenzbeitrag 1-Sep-2022
66Chen-2022-Multi-Dimensional Stable Roommates in 2-Dimensional Euclidean S...-vor.pdf.jpgChen, Jiehua ; Roy, Sanjukta Multi-Dimensional Stable Roommates in 2-Dimensional Euclidean SpaceInproceedings Konferenzbeitrag 1-Sep-2022
67Dobler-2022-Turbocharging Heuristics for Weak Coloring Numbers-vor.pdf.jpgDobler, Alexander ; Sorge, Manuel ; Villedieu, Anaïs Turbocharging Heuristics for Weak Coloring NumbersInproceedings Konferenzbeitrag 1-Sep-2022
68Dreier-2022-SAT Backdoors Depth Beats Size-vor.pdf.jpgDreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan SAT Backdoors: Depth Beats SizeInproceedings Konferenzbeitrag 1-Sep-2022
69Balko-2022-Bounding and Computing Obstacle Numbers of Graphs-vor.pdf.jpgBalko, Martin ; Chaplick, Steven ; Ganian, Robert ; Gupta, Siddharth ; Hoffmann, Michael ; Valtr, Pavel ; Wolff, Alexander Bounding and Computing Obstacle Numbers of GraphsInproceedings Konferenzbeitrag 1-Sep-2022
70Chaplick, Steven ; Di Giacomo, Emilio ; Frati, Fabrizio ; Ganian, Robert ; Raftopoulou, Chrysanthi ; Simonov, Kirill Testing Upward Planarity of Partial 2-TreesInproceedings Konferenzbeitrag Sep-2022
71Bonnet, Édouard ; Dreier, Jan ; Gajarský, Jakub ; Kreutzer, Stephan ; Mählmann, Nikolas ; Simon, Pierre ; Toruńczyk, Szymon Model Checking on Interpretations of Classes of Bounded Local CliquewidthInproceedings Konferenzbeitrag 4-Aug-2022
72Dreier, Jan ; Gajarský, Jakub ; Kiefer, Sandra ; Pilipczuk, Michał ; Toruńczyk, Szymon Treelike Decompositions for Transductions of Sparse GraphsInproceedings Konferenzbeitrag 4-Aug-2022
73Ganian-2022-Weighted Model Counting with Twin-Width-vor.pdf.jpgGanian, Robert ; Pokrývka, Filip ; Schidler, André ; Simonov, Kirill ; Szeider, Stefan Weighted Model Counting with Twin-WidthInproceedings Konferenzbeitrag 28-Jul-2022
74Kirchweger-2022-A SAT Attack on Rotas Basis Conjecture-vor.pdf.jpgKirchweger, Markus ; Scheucher, Manfred ; Szeider, Stefan A SAT Attack on Rota’s Basis ConjectureInproceedings Konferenzbeitrag 28-Jul-2022
75Slivovsky-2022-Quantified CDCL with Universal Resolution-vor.pdf.jpgSlivovsky, Friedrich Quantified CDCL with Universal ResolutionInproceedings Konferenzbeitrag 28-Jul-2022
76Reichl-2022-Pedant A Certifying DQBF Solver-vor.pdf.jpgReichl, Franz Xaver ; Slivovsky, Friedrich Pedant: A Certifying DQBF SolverInproceedings Konferenzbeitrag 28-Jul-2022
77Dreier-2022-CSP Beyond Tractable Constraint Languages-vor.pdf.jpgDreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan CSP Beyond Tractable Constraint LanguagesInproceedings Konferenzbeitrag 23-Jul-2022
78Frohner, Nikolaus ; Gmys, Jan ; MELAB, NOUREDINE ; Raidl, Günther ; Talbi, El-ghazali Parallel Beam Search for Combinatorial Optimization (Extended Abstract)Inproceedings Konferenzbeitrag 18-Jul-2022
79Ganian-2022-The Fine-Grained Complexity of Graph Homomorphism Parameteriz...-vor.pdf.jpgGanian, Robert ; Hamm, Thekla ; Korchemna, Viktoriia ; Okrasa, Karolina ; Simonov, Kirill The Fine-Grained Complexity of Graph Homomorphism Parameterized by Clique-WidthInproceedings Konferenzbeitrag 1-Jul-2022
80Ganian-2022-Hedonic Diversity Games A Complexity Picture with More than T...-vor.pdf.jpgGanian, Robert ; Hamm, Thekla ; Knop, Dušan ; Schierreich, Šimon ; Suchý, Ondřej Hedonic Diversity Games: A Complexity Picture with More than Two ColorsInproceedings Konferenzbeitrag 30-Jun-2022