Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
learning solver applied to various practical problems. In particular, the project will develop novel techniques for the incremental use of core-guided MaxSAT and CP solvers in the context of a series of
Searches related to multi core
Enter an email to receive alerts for multi-core positions