HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Gilles Audemard

Publications
Dolius: A Distributed Parallel SAT Solving Framework
Gilles Audemard, Benoît Hoessen, Said Jabbour and Cédric Piette
In:POS-14. Fifth Pragmatics of SAT workshop

Keyphrases

distributed computing, Framework, SAT platform.

Copyright © 2012-2023 easychair.org. All rights reserved.