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

Handle.net

Persistent link to portal record

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 -