Extending Clause Learning DPLL with Parity Reasoning

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

    16 Citations (Scopus)
    Original languageEnglish
    Title of host publication19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010
    EditorsHelder Coelho, Rudi Studer, Michael Wooldridge
    PublisherIOS PRESS
    Pages21-26
    ISBN (Electronic)978-1-60750-606-5
    ISBN (Print)978-1-60750-605-8
    DOIs
    Publication statusPublished - 2010
    MoE publication typeA4 Article in a conference publication
    EventEuropean Conference on Artificial Intelligence - Lisbon, Portugal
    Duration: 16 Aug 201020 Aug 2010

    Publication series

    NameFrontiers in Artificial Intelligence and Applications
    PublisherIOS Press
    Volume215
    ISSN (Print)0922-6389
    ISSN (Electronic)1879-8314

    Conference

    ConferenceEuropean Conference on Artificial Intelligence
    Abbreviated titleECAI
    CountryPortugal
    CityLisbon
    Period16/08/201020/08/2010

    Cite this