Research > Labs - Groups & Institutes



The MX Project: Modelling and Solving Search Problems with Logic



This web area is under re-construction