Equivalence Class Based Parity Reasoning with DPLL(XOR)

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

    9 Citations (Scopus)
    Original languageEnglish
    Title of host publication23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011)
    EditorsTaghi M. Khoshgoftaar, Xingquan Zhu
    PublisherIEEE
    Pages649-658
    ISBN (Electronic)978-0-7695-4596-7
    ISBN (Print)978-1-4577-2068-0
    DOIs
    Publication statusPublished - 2011
    MoE publication typeA4 Article in a conference publication
    EventIEEE International Conference on Tools with Artificial Intelligence - Boca Raton, United States
    Duration: 7 Nov 20119 Nov 2011
    Conference number: 23

    Publication series

    NameInternational Conference on Tools with Artificial Intelligence. Proceedings
    PublisherIEEE Computer Society Press
    ISSN (Print)1082-3409

    Conference

    ConferenceIEEE International Conference on Tools with Artificial Intelligence
    Abbreviated titleICTAI
    CountryUnited States
    CityBoca Raton
    Period07/11/201109/11/2011

    Cite this