PeneLoPe in SAT Competition 2013

Authors
Publication date
1 January 2013
Publisher
HAL CCSD

Abstract

Proceedings of SAT Competition 2013: Solver and Benchmark Descriptions, volume B-2013-1 of Department of Computer Science Series of Publications B, University of Helsinki 2013. ISBN 978-952-10-8991-

    Similar works

    Full text

    thumbnail-image

    Available Versions

    HAL-Artois

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