Autor der Publikation

MiniZinc: Towards a Standard CP Modelling Language.

, , , , , und . CP, Volume 4741 von Lecture Notes in Computer Science, Seite 529-543. Springer, (2007)

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

On Termination, Confluence and Consistent CHR-based Type Inference., , und . CoRR, (2014)Constraint-Based Program Reasoning with Heaps and Separation., , und . CP, Volume 8124 von Lecture Notes in Computer Science, Seite 282-298. Springer, (2013)Abstract interpretation for constraint handling rules., , und . PPDP, Seite 218-229. ACM, (2005)Binary rewriting without control flow recovery., , und . PLDI, Seite 151-163. ACM, (2020)SMCHR: Satisfiability Modulo Constraint Handling Rules. CoRR, (2012)Flexible, Rule-Based Constraint Model Linearisation., , , und . PADL, Volume 4902 von Lecture Notes in Computer Science, Seite 68-83. Springer, (2008)Observable Confluence for Constraint Handling Rules., , und . ICLP, Volume 4670 von Lecture Notes in Computer Science, Seite 224-239. Springer, (2007)ACD Term Rewriting., , und . ICLP, Volume 4079 von Lecture Notes in Computer Science, Seite 117-131. Springer, (2006)Extending arbitrary solvers with constraint handling rules., , , und . PPDP, Seite 79-90. ACM, (2003)Heap bounds protection with low fat pointers., und . CC, Seite 132-142. ACM, (2016)