Sort by
Refine Your Search
-
algorithms (e.g., SAT solving, constraint solving, MaxSAT, SAT modulo theories, Answer Set Programming, (Mixed) Integer Programming, ...). Selection process For more information please contact Prof. dr. Bart
Enter an email to receive alerts for algorithm-development "Prof" positions