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

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)Exploring Declarative Local-Search Neighbourhoods with Constraint Programming., , , und . CP, Volume 11802 von Lecture Notes in Computer Science, Seite 37-53. Springer, (2019)Guest Editorial: ASE 2000 Special Issue., und . Autom. Softw. Eng., 10 (2): 119-120 (2003)Trace-Based Programming., und . Encyclopedia of Machine Learning, Springer, (2010)Underestimating the cost of a soft constraint is dangerous: revisiting the edit-distance based soft regular constraint., , und . J. Heuristics, 19 (5): 729-756 (2013)SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications., und . LPE, Seite 9-15. Case Western Reserver University, Cleveland, (1992)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)