Symmetries and lazy clause generation

Geoffrey Chu, Maria Jose Garcia De La Banda, Christopher David Mears, Peter James Stuckey

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

    Original languageEnglish
    Title of host publicationProceedings of SymCon'10 the Tenth International Workshop on Symmetry in Constraint Satisfaction Problems
    EditorsPierre Flener, Justin Pearson
    Place of PublicationUppsala Sweden
    PublisherUppsala Universitet (University of Uppsala)
    Pages1 - 15
    Number of pages15
    Publication statusPublished - 2010
    EventInternational Workshop on Symmetry in Constraint Satisfaction Problems (CP-SymCon) 2010 - St Andrews Scotland UK, Uppsala Sweden
    Duration: 1 Jan 2010 → …

    Conference

    ConferenceInternational Workshop on Symmetry in Constraint Satisfaction Problems (CP-SymCon) 2010
    CityUppsala Sweden
    Period1/01/10 → …

    Cite this