Jean-Charles Régin
AI algorithmics algorithms combinatorial optimization combinatorial optimization problems constraint programming dynamische Systeme formal specification global constraints integer programming linear optimization local search operations research optimization petri net