The page you are requesting does not exist. You can start your search here!
Sort by
Refine Your Search
-
theories (SMT) and their optimisation extensions (MaxSAT and MaxSMT) as well as constraint programming and optimisation (CP) and mixed-integer linear programming (MILP) can be seen as success stories in
Enter an email to receive alerts for programming-"Multiple"-"U"-"Prof" positions