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.
Domaines
Intelligence artificielle [cs.AI]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...