Ian James Miguel

Phone+44 (0)1334 463248
Emailijmst-andrews.acuk

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)

66 Conference contribution
26 Article
9 Paper
3 Book
More

1 results

Filter

2022
Automatic tabulation in constraint models
Akgün, Ö., Gent, I. P., Jefferson, C., Kiziltan, Z., Miguel, I., Nightingale, P., Salamon, A. Z. & Ulrich-Oltean, F., 26 Feb 2022, (Submitted) 51 p.
Research output: Working paper › Preprint

Ian James Miguel

Research output

Search results

Automatic tabulation in constraint models