HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Cédric Piette

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

Keyphrases

distributed computing, Framework, SAT platform.

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