Proving symmetries by model transformation

Christopher Mears, Todd Niven

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the 9th International Workshop on Constraint Modelling and Reformulation
    EditorsToni Mancini, Justin K Pearson
    Place of PublicationUppsala Sweden
    PublisherUppsala Universitet (University of Uppsala)
    Pages1 - 15
    Number of pages15
    Publication statusPublished - 2010
    EventInternational Workshop on Constraint Modelling and Reformulation 2010 - St Andrews Scotland UK, St Andrews Scotland, United Kingdom
    Duration: 1 Jan 2010 → …

    Workshop

    WorkshopInternational Workshop on Constraint Modelling and Reformulation 2010
    Abbreviated titleModRef 2010
    Country/TerritoryUnited Kingdom
    CitySt Andrews Scotland
    Period1/01/10 → …
    Otherheld at the International Conference on the Principles and Practice of Constraint Programming (CP 2010)

    Cite this