Justification-Based Non-Clausal Local Search for SAT

Matti Järvisalo, Tommi Junttila, Ilkka Niemelä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    OtsikkoECAI 2008
    Alaotsikko18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21.-25.7.2008
    ToimittajatMalik Ghallab, Constantine D. Spyropoulos, Nikos Fanotakis, Nikos Avoukis
    KustantajaIOS PRESS
    Sivut535-539
    ISBN (elektroninen)978-1-60750-355-2
    ISBN (painettu)978-1-58603-891-5
    DOI - pysyväislinkit
    TilaJulkaistu - 2008
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaEuropean Conference on Artificial Intelligence - Patras, Kreikka
    Kesto: 21 heinäkuuta 200825 heinäkuuta 2008
    Konferenssinumero: 18

    Julkaisusarja

    NimiFrontiers in Artificial Intelligence and Applications
    KustantajaIOS Press
    Vuosikerta178

    Conference

    ConferenceEuropean Conference on Artificial Intelligence
    LyhennettäECAI
    MaaKreikka
    KaupunkiPatras
    Ajanjakso21/07/200825/07/2008

    Tutkimusalat

    • Boolean circuits
    • non-clausal formulas
    • problem structure
    • propositional satisfiability
    • stochastic local search

    Siteeraa tätä