Dolius: A Distributed Parallel SAT Solving Framework

Authors
Publication date
1 January 2014
Publisher
HAL CCSD

Abstract

International audienc

    Similar works

    Full text

    thumbnail-image

    Available Versions

    HAL Descartes

    redirect
    oaioai:HAL:hal-03299493v1
    Last time updated on 10/09/2021

    HAL-Artois

    redirect
    oaioai:HAL:hal-03299493v1
    Last time updated on 03/12/2021