( en | de | ru )

 

Disambiguierung von "Leo, Kevin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards Semi-Automatic Learning-Based Model Transformation.

, , , und . CP, Volume 11008 von Lecture Notes in Computer Science, Seite 403-419. Springer, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Alexander Ali Kevin

Kevin Thurley

Kevin Reddig

Kevin Niwek

Kevin Niwek

 

Weitere Publikationen von Autoren mit dem selben Namen

Core-Guided Model Reformulation., , , und . CP, Volume 12333 von Lecture Notes in Computer Science, Seite 445-461. Springer, (2020)DASH: Dynamic Approach for Switching Heuristics., , , und . Eur. J. Oper. Res., 248 (3): 943-953 (2016)Making the Most of Structure in Constraint Models.. Monash University, Australia, (2017)Globalizing constraint models., , , und . Artif. Intell., (2022)Multi-Pass High-Level Presolving., und . IJCAI, Seite 346-352. AAAI Press, (2015)Debugging Unsatisfiable Constraint Models., und . CPAIOR, Volume 10335 von Lecture Notes in Computer Science, Seite 77-93. Springer, (2017)MiniZinc., , , , , , und . (Februar 2024)Human-Centred Feasibility Restoration., , , , , , , und . CP, Volume 210 von LIPIcs, Seite 49:1-49:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions., , , , , , , , , und 7 andere Autor(en). CoRR, (2024)Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning., , , und . AAAI, Seite 8065-8072. AAAI Press, (2024)