Autor der Publikation

Constraint Solving on Bounded String Variables.

, , und . CPAIOR, Volume 9075 von Lecture Notes in Computer Science, Seite 375-392. Springer, (2015)

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

Time-Series Constraints: Improvements and Application in CP and MIP Contexts., , , , , , und . CPAIOR, Volume 9676 von Lecture Notes in Computer Science, Seite 18-34. Springer, (2016)Constraint Solving on Bounded String Variables., , und . CPAIOR, Volume 9075 von Lecture Notes in Computer Science, Seite 375-392. Springer, (2015)On Correct Program Schemas., , und . LOPSTR, Volume 1463 von Lecture Notes in Computer Science, Seite 128-147. Springer, (1997)Generalised Logic Program Transformation Schemas., und . LOPSTR, Volume 1463 von Lecture Notes in Computer Science, Seite 49-68. Springer, (1997)Exploring Declarative Local-Search Neighbourhoods with Constraint Programming., , , und . CP, Volume 11802 von Lecture Notes in Computer Science, Seite 37-53. Springer, (2019)An introduction to inductive programming., und . Artif. Intell. Rev., 29 (1): 45-62 (2008)On the reification of global constraints., , , und . Constraints An Int. J., 18 (1): 1-6 (2013)On matrices, automata, and double counting in constraint programming., , , und . Constraints An Int. J., 18 (1): 108-140 (2013)A constraint-based local search backend for MiniZinc., , , und . Constraints An Int. J., 20 (3): 325-345 (2015)SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications., und . LPE, Seite 9-15. Case Western Reserver University, Cleveland, (1992)