Symmetries, almost symmetries, and lazy clause generation

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

    Research output: Contribution to journalArticleResearchpeer-review

    5 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)434 - 462
    Number of pages29
    JournalConstraints
    Volume19
    Issue number4
    DOIs
    Publication statusPublished - 2014

    Cite this