On the Usefulness of Clause Strengthening in Parallel SAT Solving - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

On the Usefulness of Clause Strengthening in Parallel SAT Solving

Vincent Vallade
Modélisation et Vérification
Ludovic Le Frioux
  • Fonction : Auteur
  • PersonId : 1010412
Modélisation et Vérification
Souheib Baarir
Modélisation et Vérification
Julien Sopena
DistributEd aLgorithms and sYStems
Fabrice Kordon
Modélisation et Vérification
CV

Domaines

Calcul parallèle, distribué et partagé [cs.DC] Intelligence artificielle [cs.AI]

souheib baarir  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02545756

Soumis le : vendredi 17 avril 2020-12:47:14

Dernière modification le : vendredi 8 novembre 2024-16:26:02

Fichier non déposé

Dates et versions

hal-02545756 , version 1 (17-04-2020)

Identifiants

  • HAL Id : hal-02545756 , version 1

Citer

Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon. On the Usefulness of Clause Strengthening in Parallel SAT Solving. NFM 2020 - 12th NASA Formal Methods Symposium, May 2020, Moffett Field / Virtual, United States. ⟨hal-02545756⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA LIP6 INRIA2 SORBONNE-UNIVERSITE SU-SCIENCES
220 Consultations
0 Téléchargements

Partager

More