Partitioning SAT Instances for Distributed Solving

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä

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

    26 Citations (Scopus)
    Original languageEnglish
    Title of host publicationLogic for Programming, Artificial Intelligence, and Reasoning
    Subtitle of host publication17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010
    EditorsChristian G. Fermüller, Andrei Voronkov
    Pages372-386
    Number of pages15
    ISBN (Electronic)978-3-642-16242-8
    DOIs
    Publication statusPublished - 2010
    MoE publication typeA4 Article in a conference publication
    EventInternational Conference on Logic for Programming, Artificial Intelligence and Reasoning - Yogyakarta, Indonesia
    Duration: 10 Oct 201015 Oct 2010
    Conference number: 17

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Berlin Heidelberg
    Volume6397 LNCS
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    ConferenceInternational Conference on Logic for Programming, Artificial Intelligence and Reasoning
    Abbreviated titleLPAR
    CountryIndonesia
    CityYogyakarta
    Period10/10/201015/10/2010

    Cite this