By the same authors

An Automated Constraint Modelling and Solving Toolchain

Research output: Chapter in Book/Report/Conference proceedingConference contribution



Publication details

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

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations