Strategies for Solving SAT in Grids by randomized search

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

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

    8 Citations (Scopus)
    Original languageEnglish
    Title of host publicationIntelligent Computer Mathematics
    Subtitle of host publication9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
    EditorsSerge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk
    Pages125-140
    ISBN (Electronic)978-3-540-85110-3
    DOIs
    Publication statusPublished - 2008
    MoE publication typeA4 Article in a conference publication

    Publication series

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

    Cite this