Extensible automated constraint modelling via refinement of abstract problem specifications

Özgür Akgün. Extensible automated constraint modelling via refinement of abstract problem specifications. PhD thesis, University of St Andrews, UK, 2014. [doi]

Abstract

Abstract is missing.