Justification-Based Non-Clausal Local Search for SAT

Matti Järvisalo, Tommi Junttila, Ilkka Niemelä

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

    Original languageEnglish
    Title of host publicationECAI 2008
    Subtitle of host publication18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21.-25.7.2008
    EditorsMalik Ghallab, Constantine D. Spyropoulos, Nikos Fanotakis, Nikos Avoukis
    PublisherIOS PRESS
    Pages535-539
    ISBN (Electronic)978-1-60750-355-2
    ISBN (Print)978-1-58603-891-5
    DOIs
    Publication statusPublished - 2008
    MoE publication typeA4 Article in a conference publication
    EventEuropean Conference on Artificial Intelligence - Patras, Greece
    Duration: 21 Jul 200825 Jul 2008
    Conference number: 18

    Publication series

    NameFrontiers in Artificial Intelligence and Applications
    PublisherIOS Press
    Volume178

    Conference

    ConferenceEuropean Conference on Artificial Intelligence
    Abbreviated titleECAI
    CountryGreece
    CityPatras
    Period21/07/200825/07/2008

    Keywords

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

    Cite this