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 University
    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

    Chu, G., Garcia De La Banda, M. J., Mears, C. D., & Stuckey, P. J. (2010). Symmetries and lazy clause generation. In P. Flener, & J. Pearson (Eds.), Proceedings of SymCon'10 the Tenth International Workshop on Symmetry in Constraint Satisfaction Problems (pp. 1 - 15). Uppsala University.