Vortrag: Efficient lifting of symmetry breaking constraints for complex combin...
Stammdaten
Titel: | Efficient lifting of symmetry breaking constraints for complex combinatorial problems |
Beschreibung: | Many industrial applications require finding solutions to challenging combinatorial problems. Efficient elimination of symmetric solution candidates is one of the key enablers for high-performance solving. However, existing model-based approaches for symmetry breaking are limited to problems for which a set of representative and easily-solvable instances is available, which is often not the case in practical applications. This work extends the learning framework and implementation of a model-based approach for Answer Set Programming to overcome these limitations and address challenging problems, such as the Partner Units Problem. In particular, we incorporate a new conflict analysis algorithm in the Inductive Logic Programming system ILASP, redefine the learning task, and suggest a new example generation method to scale up the approach.The experiments conducted for different kinds of Partner Units Problem instances demonstrate the applicability of our approach and the computational benefits due to the first-order constraints learned. |
Schlagworte: | Artificial Intelligence, Computational Theory and Mathematics, Hardware and Architecture, Theoretical Computer Science, Software |
Typ: | Angemeldeter Vortrag |
Homepage: | https://easychair.org/smart-program/FLoC2022/ICLP-2022-08-05.html#talk:197368 |
Veranstaltung: | ICLP 2022 - 38th International Conference on Logic Programming (Haifa) |
Datum: | 05.08.2022 |
Vortragsstatus: | stattgefunden (Präsenz) |
Beteiligte
Alice Tarzariol (intern) |
|
Martin Gebser (intern) |
|
Konstantin Schekotihin (intern) |
|
MARK LAW (extern) |
|
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Vortragsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
TeilnehmerInnenkreis |
|
Publiziert? |
|
Arbeitsgruppen |
|
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte | Keine verknüpften Projekte vorhanden |
Publikationen |
|
Veranstaltungen | Keine verknüpften Veranstaltung vorhanden |
Vorträge | Keine verknüpften Vorträge vorhanden |