Extensible automated constraint modelling via refinement of abstract problem specifications

Research output: Other contribution

Fingerprint

Dive into the research topics of 'Extensible automated constraint modelling via refinement of abstract problem specifications'. Together they form a unique fingerprint.

Computer Science