research

Une approche basée sur la décomposition arborescente pour la résolution d'instances SAT structurées

Authors
Publication date
2 June 2009
Publisher
HAL CCSD

Abstract

International audienceNon disponibl

    Similar works

    Full text

    thumbnail-image

    Available Versions

    HAL AMU

    redirect
    oaioai:HAL:hal-00387823v1
    Last time updated on 11/11/2016