Forschungsbereich Algorithms and Complexity

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
 


Results 1-20 of 127 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Chen, Jiehua Advancing Stability in Matching Markets: Multi-Modal Preferences and BeyondPresentation Vortrag6-Nov-2023
2Szeider, Stefan Isomorph-Free Generation of Combinatorial Objects with SAT Modulo SymmetriesPresentation Vortrag18-Apr-2023
3Hatschka, Christian ; Ciabattoni, Agata ; Eiter, Thomas Representing Normative Reasoning in Answer Set Programming Using Weak ConstraintsPresentation Vortrag28-Nov-2022
4Raidl, Günther Learning for Guiding MetaheuristicsPresentation Vortrag3-Nov-2022
5Raidl, Günther Learning Beam Search: Utilizing Machine Learning for Solving Combinatorial Optimization ProblemsPresentation Vortrag1-Nov-2022
6Raidl, Günther Learning for Guiding MetaheuristicsPresentation Vortrag19-Jul-2022
7Jatschka, Thomas ; Rodemann, Tobias ; Raidl, Günther A Multilevel Optimization Approach for Large Scale Battery Exchange Station Location PlanningPresentation Vortrag2022
8Slivovsky, Friedrich QBF Solvers and their Proof ComplexityPresentation Vortrag2022
9Szeider, Stefan The Parameterized Complexity of SATPresentation Vortrag2022
10Szeider, Stefan SLIM- SAT-based Local ImprovementPresentation Vortrag2022
11Szeider, Stefan SAT-based Local ImprovementPresentation Vortrag2022
12Szeider, Stefan From Twin-Width to Propositional Logic and BackPresentation Vortrag2022
13Depian, Thomas ; Li, Guangping ; Nöllenburg, Martin ; Wulms, Jules Transitions in Dynamic Map LabelingPresentation Vortrag 2022
14Bhore, Sujoy ; Löffler, Maarten ; Nickel, Soeren ; Nöllenburg, Martin Unit Disk Representations of Embedded Trees, Outerplanar and Multi-Legged GraphsPresentation Vortrag2022
15Akitaya-2022-Compacting Squares Input-Sensitive In-Place Reconfiguration ...-vor.pdf.jpgAkitaya, Hugo ; Demaine, Erik ; Korman, Matias ; Kostitsyna, Irina ; Parada, Irene ; Sonke, Willem ; Speckmann, Bettina ; Uehara, Ryuhei ; Wulms, Jules Compacting Squares: Input-Sensitive In-Place Reconfiguration of Sliding SquaresPresentation Vortrag 2022
16Nickel-2022-Planarizing Graphs and their Drawings by Vertex Splitting-ao.pdf.jpgNickel, Soeren ; Nöllenburg, Martin ; Sorge, Manuel ; Villedieu, Anais ; Wu, Hsiang-Yun ; Wulms, Jules Planarizing Graphs and their Drawings by Vertex SplittingPreprint Preprint 2022
17Chen, Jiehua ; Hermelin, Danny ; Sorge, Manuel Computational aspects of multiwinner approval voting via p-norm Hamming distance vectorsPräsentation Presentation2021
18Jatschka, Thomas ; Rodemann, Tobias ; Raidl, Günther A Large Neighborhood Search for a Cooperative Optimization Approach to Distribute Service Points in Mobility ApplicationsPräsentation Presentation2021
19Chen, Jiehua Fractional Matchings under Preferences: Stability and OptimalityPräsentation Presentation2021
20Horn, Matthias ; Djukanovic, Marko ; Blum, Christian ; Raidl, Günther On the Use of Decision Diagrams for Finding Repetition-Free Longest Common SubsequencesPräsentation Presentation2020