Autor der Publikation

Modular Constraint Solver Cooperation via Abstract Interpretation.

, , und . Theory Pract. Log. Program., 20 (6): 848-863 (2020)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Spacetime Programming: A Synchronous Language for Composable Search Strategies.. PPDP, Seite 18:1-18:16. ACM, (2019)Constraint Model for the Satellite Image Mosaic Selection Problem., , , , , und . CoRR, (2023)Constraint Programming with External Worst-Case Traversal Time Analysis., , und . CP, Volume 280 von LIPIcs, Seite 34:1-34:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Spacetime programming: a synchronous language for constraint search.. Constraints An Int. J., 28 (3): 516-517 (September 2023)Constraint Model for the Satellite Image Mosaic Selection Problem (Short Paper)., , , , , und . CP, Volume 280 von LIPIcs, Seite 44:1-44:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Interactive computer-aided composition with constraints., , und . ICMC, Michigan Publishing, (2017)Combining Constraint Languages via Abstract Interpretation., , , und . ICTAI, Seite 50-58. IEEE, (2019)Modular Constraint Solver Cooperation via Abstract Interpretation., , und . Theory Pract. Log. Program., 20 (6): 848-863 (2020)A Variant of Concurrent Constraint Programming on GPU., , und . AAAI, Seite 3830-3839. AAAI Press, (2022)Towards the automated recovery of complex temporal API-usage patterns., , , , und . GECCO, Seite 1435-1442. ACM, (2018)