Algorithms and Complexity Group
  • People
  • Research
  • Courses
  • Talks
  • Jobs
  • Contact

The AC Retreat took place between 29.6. and 1.7.. Within the retreat, a number of topics and research directions were discussed and introduced, and we provide a brief summary of potential research ideas below.

-Applications of metaheuristics to Bayesian Networks / synergies between Bayesian Networks and other topics, such as bicycle sharing (Sebastian + Christian?)

-Use SAT/QBF solvers for Unique Hamiltonian Graphs (Friedrich/Neha + Benedikt)

-ILP-to-SAT encodings (?)

-Connection between Solution Archives and Knowledge Compilation (Simone, Friedrich + Benjamin)

-FPT reductions from problems beyond NP to Mixed Integer Programming (Ronald+Benjamin)

-Invite Sarah Kirchner (already happened!)

-Structural parameters for Map Labeling (Martin+Robert...)

-Connections between (weak) backdoors / master problem for Benders' decomposition; Benders' decomposition / SAT clause learning (Neha, Eduard, ... + Christopher, Johannes, MartinR)

-Crossing minimization in book embeddings (Martin + ...)

-Neighborhood Search technique in relation to Parameterized Complexity, use SAT for Local Search (Frederico + ?)

-Applications of Kernelization for Meta-Heuristics (Robert, Sebastian, Eduard, Ramanujan + Petrina, Frederico)

-Visualizing SAT instances, searching for structure (Martin+Stefan?)

-Column generation for SAT (Christopher+Neha, Friedrich)

-SAT/MIPS/CSP encodings for Scheduling or other problems (Neha, Friedrich+Johannes, Martin)

-Apply SAT/QBF for subproblems resulting from decomposition-techniques such as Benders' decomposition or others (pricing problem for column generation) (Robert, Sebastian ... + Gunther, Christopher...)

-Tree-decompositions as basis for Benders' decomposition (Gunther+Sebastian, Robert, Eduard)

 

 

News

  • Best paper award at EvoCOP 2022

    Best paper award at EvoCOP 2022

    2022-05-24
    Jonas Mayerhofer, Markus Kirchweger, Marc Huber, and Günther Raidl received the best paper award for their work A Beam Search …Read More »
  • New PhD: Guangping Li

    New PhD: Guangping Li

    2022-05-13
    Guangping Li successfully defended her PhD thesis “An Algorithmic Study of Practical Map Labeling” on May 13, 2022. Congratulations, Dr. …Read More »
  • Outstanding results for TU Wien students at the 2021 Graph Drawing Contest

    Outstanding results for TU Wien students at the 2021 Graph Drawing Contest

    2021-09-24
    The 28th Annual Graph Drawing Contest, a long running tradition of the graph drawing research community, was held in conjunction …Read More »
  • Jan Dreier receives a LICS’21 Distinguished Paper Award

    Jan Dreier receives a LICS’21 Distinguished Paper Award

    2021-07-02
    Congratulations to Jan Dreier for his LICS 2021 Distinguished Paper Award for his paper Lacon- and Shrub-Decompositions: A New Characterization …Read More »
  • Lecture at Austrian Parliament

    Lecture at Austrian Parliament

    2021-06-16
    Stefan Szeider and Martin Kronegger gave a lecture on Algorithms and Programming to members of the Austrian Parliament. The lecture …Read More »

News archive

All news for 2015, 2016, 2017, 2018, 2019, 2020 and 2021.
TU Wien Informatics
Offenlegung (§25 MedienG) Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. – Disclaimer – Datenschutzerklärung
Log in requires cookies.