RCL: Reduce learnt clauses - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Rapport Année : 2013

RCL: Reduce learnt clauses

Résumé

This note describes features of the version of RCL that entered the SAT-race 2010 affiliated to the SAT'2010 conference in Edinburgh, Scotland, UK.
Fichier principal
Vignette du fichier
solver_10.pdf (49.44 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00872811 , version 1 (14-10-2013)

Identifiants

  • HAL Id : hal-00872811 , version 1

Citer

Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs. RCL: Reduce learnt clauses. 2013. ⟨hal-00872811⟩
65 Consultations
68 Téléchargements

Partager

Gmail Facebook X LinkedIn More