An Automated Constraint Modelling and Solving Toolchain

Ozgur Akgun; Alan M Frisch; Ian Philip Gent; Bilal Syed Hussain; Christopher Anthony Jefferson; Lars Kotthoff; Ian James Miguel; Peter William Nightingale

An Automated Constraint Modelling and Solving Toolchain

Ozgur Akgun, Alan M Frisch, Ian Philip Gent, Bilal Syed Hussain, Christopher Anthony Jefferson, Lars Kotthoff, Ian James Miguel, Peter William Nightingale

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	ARW 2013 - 20th Automated Reasoning Workshop
Publication status	Published - 2013

Access to Document

http://staff.computing.dundee.ac.uk/katya/arw13/papers/paper_13.pdf

Cite this

@inproceedings{ec7a3b357c8b4af4ba335c281ea87ba3,

title = "An Automated Constraint Modelling and Solving Toolchain",

author = "Ozgur Akgun and Frisch, {Alan M} and Gent, {Ian Philip} and Hussain, {Bilal Syed} and Jefferson, {Christopher Anthony} and Lars Kotthoff and Miguel, {Ian James} and Nightingale, {Peter William}",

year = "2013",

language = "English",

booktitle = "ARW 2013 - 20th Automated Reasoning Workshop",

}

TY - GEN

T1 - An Automated Constraint Modelling and Solving Toolchain

AU - Akgun, Ozgur

AU - Frisch, Alan M

AU - Gent, Ian Philip

AU - Hussain, Bilal Syed

AU - Jefferson, Christopher Anthony

AU - Kotthoff, Lars

AU - Miguel, Ian James

AU - Nightingale, Peter William

PY - 2013

Y1 - 2013

M3 - Conference contribution

BT - ARW 2013 - 20th Automated Reasoning Workshop

ER -