-
by Professor Yaodong Wang. The successful candidate will help develop such a new prototype MC which can be coupled with the LFPE. The project is being carried out in collaboration with an SME, and the
-
Professor Andrei Krokhin. The aim of the project is to understand the mathematical structure of Promise CSPs that makes them easy or hard from the algorithmic point of view. This project is particularly
-
of the MC and then the whole MC-LFPE system. The research project is led by Professor Yaodong Wang. The successful candidate will help develop such a new prototype MC which can be coupled with the LFPE
-
Problems (CSPs). The research project is the EPSRC-funded "Promise Constraint Satisfaction Problems: Structure and Complexity", led by Professor Andrei Krokhin. The aim of the project is to understand
-
Complexity-theoretic aspects of Constraint Satisfaction Problems (CSPs). The research project is the EPSRC-funded "Promise Constraint Satisfaction Problems: Structure and Complexity", led by Professor Andrei