Alan Mark Frisch

An Automated Constraint Modelling and Solving Toolchain
Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, ARW 2013 - 20th Automated Reasoning Workshop.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Automated Symmetry Breaking and Model Selection in Conjure
Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, CP 2013 - Principles and Practice of Constraint Programming, 19th International Conference. p. 107-116
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Extensible Automated Constraint Modelling
Akgun, O., Miguel, I., Jefferson, C., Frisch, A. M. & Hnich, B., Aug 2011, Proceedings of theTwenty-Fifth AAAI Conference on Artificial Intelligence. San Francisco: AAAI Press, p. 4-11 8 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

File

Gr/N16129 Auto.Gen. Of Implied Cons.
Frisch, A. M. (Principal investigator)
EPSRC
1/10/00 → 30/09/03
Project: Research project (funded) › Research

SICSA Distinguished Visiting Fellowship
Frisch, A. M. (Recipient), Sept 2011
Prize: Fellowship awarded competitively

Research output