-
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