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 proceedingConference contribution

Original languageEnglish
Title of host publicationARW 2013 - 20th Automated Reasoning Workshop
Publication statusPublished - 2013

Cite this