
Symmetry Handling for Satisfiability and Optimization
Mar 24 - Mar 25
Description:
Mathematical optimization and SAT solving are key techniques for finding provably optimal solutions for challenging real-world problems. Their application ranges from classical deterministic problems such as network design or graph coloring to more modern applications that also incorporate uncertainties via the regimes of stochastic programming and robust optimization. While standard optimization software can routinely solve large problems in reasonable time, it is well-known that the presence of symmetry in the underlying problem deteriorates the performance of software if the symmetries are not handled adequately.
The motivation for this workshop is that many communities (MINLP, MIP, SAT, SDP, etc.) use similar techniques for handling symmetries with adaptions to the particular field. Many of these techniques can also be transferred to other disciplines. The aim of the workshop is thus to bring together researchers from different fields to
– make the communities aware of the techniques used by other communities,
– identify symmetry handling methods that are applicable in other disciplines, and to
– foster collaboration between different disciplines.
Organizers:
– Markus Anders (KU Leuven, Belgium)
– Christopher Hojny (TU/e, Eindhoven, The Netherlands)
– Marc E. Pfetsch (TU Darmstadt, Germany)
Programme Symmetry Handling 24 25 March 2025
Abstracts Symmetry Handling
Accommodation:
We recommend the following hotels:
(the mentioned rates are only an indication)
- The Social Hub (€ 110 – € 180 per night) use discount code (-10%): Eurandom2025
- De Rooi Pannen (€ 110 – € 120 per night)
- Sandton Hotels Eindhoven (€ 120 – € 130 per night)
- Queen Hotel (€ 150 – € 200 per night)
- Crown Hotel Eindhoven (€ 135 – € 160 per night)
- Westcord Hotel (€ 150 – € 170 per night)
You can also look at: airbnb.nl and booking.com