Symmetries and lazy clause generation

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

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

    8 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011)
    EditorsToby Walsh
    Place of PublicationMenlo Park CA USA
    PublisherAssociation for the Advancement of Artificial Intelligence (AAAI)
    Pages516 - 521
    Number of pages6
    ISBN (Print)9781577355168
    Publication statusPublished - 2011
    EventInternational Joint Conference on Artificial Intelligence 2011 - Barcelona Catalonia, Spain
    Duration: 16 Jul 201122 Jul 2011
    Conference number: 22nd (conference proceedings)


    ConferenceInternational Joint Conference on Artificial Intelligence 2011
    Abbreviated titleIJCAI 2011
    CityBarcelona Catalonia
    Internet address

    Cite this