Research output per year
Research output per year
Prof
KY16 9SS
United Kingdom
Accepting Postgraduate Research Students
PhD projects
Artificial intelligence (ai); decision-making and optimisation; combinational search; constraint modelling and solving; propositional satisfiability (sat)
Research output: Contribution to conference › Paper › peer-review
Research output: Contribution to conference › Paper › peer-review
Research output: Contribution to conference › Paper › peer-review
Research output: Contribution to conference › Paper › peer-review
Research output: Contribution to conference › Paper
Research output: Contribution to conference › Paper
Research output: Contribution to conference › Paper › peer-review
Research output: Contribution to conference › Paper