Browsing by Name "Miguel, Ian"

Now showing items 1-9 of 9

  • Automated static symmetry breaking in constraint satisfaction problems 

    Grayland, Andrews (University of St Andrews, 2011) - Thesis
    Variable symmetries in constraint satisfaction problems can be broken by adding lexicographic ordering constraints. Existing general methods of generating such sets of ordering constraints can produce a huge number of ...

  • Automatically generating streamlined constraint models with ESSENCE and CONJURE 

    Wetter, James; Akgun, Ozgur; Miguel, Ian (Springer, 2015-08-13) - Conference item
    Streamlined constraint reasoning is the addition of uninferred constraints to a constraint model to reduce the search space, while retaining at least one solution. Previously, effective streamlined models have been constructed ...

  • Breaking conditional symmetry in automated constraint modelling with CONJURE 

    Akgün, Özgür; Gent, Ian; Jefferson, Chris; Miguel, Ian; Nightingale, Peter (IOS Press, 2014) - Book item
    Many constraint problems contain symmetry, which can lead to redundant search. If a partial assignment is shown to be invalid, we are wasting time if we ever consider a symmetric equivalent of it. A particularly important ...

  • Cloud benchmarking for performance 

    Varghese, Blesson; Akgun, Ozgur; Miguel, Ian; Thai, Long; Barker, Adam (IEEE, 2014-12-15) - Conference item
    How can applications be deployed on the cloud to achieve maximum performance? This question has become significant and challenging with the availability of a wide variety of Virtual Machines (VMs) with different performance ...

  • Effective compilation of constraint models 

    Rendl, Andrea (University of St Andrews, 2010) - Thesis
    Constraint Programming is a powerful technique for solving large-scale combinatorial (optimisation) problems. However, it is often inaccessible to users without expert knowledge in the area, precluding the wide-spread ...

  • Extensible automated constraint modelling via refinement of abstract problem specifications 

    Akgün, Özgür (University of St Andrews, 2014-06-25) - Thesis
    Constraint Programming (CP) is a powerful technique for solving large-scale combinatorial (optimisation) problems. Constraint solving a given problem proceeds in two phases: modelling and solving. Effective modelling has ...

  • Model selection and testing for an automated constraint modelling toolchain 

    Hussain, Bilal Syed (University of St Andrews, 2017-06-21) - Thesis
    Constraint Programming (CP) is a powerful technique for solving a variety of combinatorial problems. Automated modelling using a refinement based approach abstracts over modelling decisions in CP by allowing users to specify ...

  • On algorithm selection, with an application to combinatorial search problems 

    Kotthoff, Lars (University of St Andrews, 2012-06-20) - Thesis
    The Algorithm Selection Problem is to select the most appropriate way for solving a problem given a choice of different ways. Some of the most prominent and successful applications come from Artificial Intelligence and in ...

  • Optimal deployment of geographically distributed workflow engines on the Cloud 

    Thai, Long; Barker, Adam; Varghese, Blesson; Akgun, Ozgur; Miguel, Ian (IEEE, 2014-10-30) - Conference item
    When orchestrating Web service workflows, the geographical placement of the orchestration engine(s) can greatly affect workflow performance. Data may have to be transferred across long geographical distances, which in turn ...