Incorporating Learning in Grid-Based Randomized SAT Solving

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

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

    7 Citations (Scopus)
    Original languageEnglish
    Title of host publicationArtificial Intelligence: Methodology, Systems, and Applications
    Subtitle of host publication13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings
    EditorsDaniel Dochev, Marco Pistore, Paolo Traverso
    Pages247-261
    ISBN (Electronic)978-3-540-85776-1
    DOIs
    Publication statusPublished - 2008
    MoE publication typeA4 Article in a conference publication
    EventInternational Conference on Artificial Intelligence: Methodology, Systems, Applications - Varna, Bulgaria
    Duration: 4 Sep 20086 Sep 2008
    Conference number: 13

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Berlin Heidelberg
    Volume5253
    ISSN (Print)0302-9743

    Conference

    ConferenceInternational Conference on Artificial Intelligence: Methodology, Systems, Applications
    Abbreviated titleAIMSA
    CountryBulgaria
    CityVarna
    Period04/09/200806/09/2008

    Cite this