A Distribution Method for Solving SAT in Grids

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

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    28 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    OtsikkoTheory and Applications of Satisfiability Testing - SAT 2006
    Alaotsikko9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
    ToimittajatArmin Biere, Carla P. Gomes
    Sivut430-435
    ISBN (elektroninen)978-3-540-37207-3
    DOI - pysyväislinkit
    TilaJulkaistu - 2006
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaINTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - Helsinki, Suomi
    Kesto: 8 heinäk. 201312 heinäk. 2013
    Konferenssinumero: 16

    Julkaisusarja

    NimiLecture Notes in Computer Science
    KustantajaSpringer Berlin Heidelberg
    Vuosikerta4121
    ISSN (painettu)0302-9743

    Conference

    ConferenceINTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
    LyhennettäSAT
    Maa/AlueSuomi
    KaupunkiHelsinki
    Ajanjakso08/07/201312/07/2013

    Tutkimusalat

    • Computational Grid
    • Parallel Search Algorithms
    • Parallelization of DPLL procedure
    • SAT

    Siteeraa tätä