SATU (SAT Ubiquitous)

Antti E.J. Hyvärinen

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    EditionVersio 0.2
    Publication statusPublished - 2006
    MoE publication typeI2 ICT software

    Keywords

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

    Cite this