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

    6 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
    DOIs
    Publication statusPublished - 2011
    EventInternational Joint Conference on Artificial Intelligence 2011 - Barcelona Catalonia, Spain
    Duration: 16 Jul 201122 Jul 2011
    Conference number: 22nd
    https://www.ijcai.org/proceedings/2011 (conference proceedings)

    Conference

    ConferenceInternational Joint Conference on Artificial Intelligence 2011
    Abbreviated titleIJCAI 2011
    CountrySpain
    CityBarcelona Catalonia
    Period16/07/1122/07/11
    Internet address

    Cite this