Skip to content

Research at St Andrews

An Automated Constraint Modelling and Solving Toolchain

Research output: ResearchConference contribution

Details

Original languageEnglish
Title of host publicationARW 2013 - 20th Automated Reasoning Workshop
StatePublished - 2013

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Automatically improving constraint models in Savile Row

    Nightingale, P., Akgün, Ö., Gent, I. P., Jefferson, C., Miguel, I. & Spracklen, P. Oct 2017 In : Artificial Intelligence. 251, p. 35-61 27 p.

    Research output: Research - peer-reviewArticle

  2. Exploiting short supports for improved encoding of arbitrary constraints into SAT

    Akgün, Ö., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W. 2016 Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Rueher, M. (ed.). Springer, p. 3-12 (Lecture Notes in Computer Science; vol. 9892)

    Research output: ResearchConference contribution

  3. Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination

    Nightingale, P., Akgun, O., Gent, I. P., Jefferson, C. & Miguel, I. Sep 2014 Principles and Practice of Constraint Programming. OSullivan, B. (ed.). Cham: Springer, p. 590-605 16 p. (Lecture Notes in Computer Science; vol. 8656)

    Research output: ResearchConference contribution

  4. Breaking conditional symmetry in automated constraint modelling with CONJURE

    Akgün, Ö., Gent, I., Jefferson, C., Miguel, I. & Nightingale, P. 2014 ECAI 2014. Schaub, T., Friedrich, G. & O'Sullivan, B. (eds.). IOS Press, Vol. 263, p. 3-8 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 263)

    Research output: ResearchChapter

  5. 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.

    Research output: ResearchConference contribution

ID: 250089354