PeneLoPe, a Parallel Clause-Freezer Solver - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

PeneLoPe, a Parallel Clause-Freezer Solver

Résumé

This paper provides a short system description of our new portfolio-based solver called PeneLoPe, based on ManySat. Particularly, this solver focuses on collaboration between threads, providing different policies for exporting and importing learnt clauses between CDCL searches. Moreover, different restart strategies are also available, together with a deterministic mode.
Fichier principal
Vignette du fichier
main.pdf (137.12 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00865592 , version 1 (24-09-2013)

Identifiants

  • HAL Id : hal-00865592 , version 1

Citer

Gilles Audemard, Benoît Hoessen, Said Jabbour, Jean-Marie Lagniez, Cédric Piette. PeneLoPe, a Parallel Clause-Freezer Solver. SAT Challenge 2012: Solver and Benchmarks Descriptions, 2012, France. pp.43-44. ⟨hal-00865592⟩
247 Consultations
177 Téléchargements

Partager

Gmail Facebook X LinkedIn More