Now showing items 1-5 of 224

    • Automatically improving constraint models in Savile Row through associative-commutative common subexpression elimination 

      Nightingale, Peter; Akgun, Ozgur; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian (Springer, 2014-09-08) - Conference item
      When solving a problem using constraint programming, constraint modelling is widely acknowledged as an important and difficult task. Even a constraint modelling expert may explore many models and spend considerable time ...
    • Qualitative modelling via constraint programming 

      Kelsey, Tom; Kotthoff, Lars; Jefferson, Christopher Anthony; Linton, Stephen Alexander; Miguel, Ian James; Nightingale, Peter; Gent, Ian Philip (2014-04) - Journal article
      Qualitative modelling is a technique integrating the fields of theoretical computer science, artificial intelligence and the physical and biological sciences. The aim is to be able to model the behaviour of systems without ...
    • Simplified cloud instance selection 

      Boonprasop, Chalee; Barker, Adam David (ACM, 2018-04-23) - Conference item
      Cloud computing delivers computational services to anyone over the internet. The cloud providers offer these services through a simplified billing model where customers can rent services based on the types of computing ...
    • Proof-relevant Horn clauses for dependent type inference and term synthesis 

      Farka, František; Komendantskya, Ekaterina; Hammond, Kevin (2018) - Journal article
      First-order resolution has been used for type inference for many years, including in Hindley-Milner type inference, type-classes, and constrained data types. Dependent types are a new trend in functional languages. In this ...
    • A review of literature on parallel constraint solving 

      Gent, Ian Philip; Miguel, Ian James; Nightingale, Peter William; McCreesh, Ciaran; Prosser, Patrick; Moore, Neil; Unsworth, Chris (2018-09) - Journal article
      As multi-core computing is now standard, it seems irresponsible for constraints researchers to ignore the implications of it. Researchers need to address a number of issues to exploit parallelism, such as: investigating ...