CosySEL: Improving SAT Solving Using Local Symmetries - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

CosySEL: Improving SAT Solving Using Local Symmetries

Sabrine Saouli
  • Fonction : Auteur
  • PersonId : 1393440
Modélisation et Vérification
Souheib Baarir
  • Fonction : Auteur
Université Paris Nanterre
Laboratoire de Recherche de l'EPITA
Modélisation et Vérification
Claude Dutheillet
  • Fonction : Auteur
  • PersonId : 968374
Modélisation et Vérification
Jo Devriendt
  • Fonction : Auteur
  • PersonId : 1393441
Department of Computer Science

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
cosysel_ssaouli.pdf (3.7 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Sabrine Saouli  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04616520

Soumis le : mardi 18 juin 2024-19:13:47

Dernière modification le : mercredi 30 octobre 2024-13:33:40

Télécharger pour visualiser

Dates et versions

hal-04616520 , version 1 (18-06-2024)

Identifiants

Citer

Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt. CosySEL: Improving SAT Solving Using Local Symmetries. Verification, Model Checking, and Abstract Interpretation, Jan 2023, Boston (MA), United States. pp.252 - 266, ⟨10.1007/978-3-031-24950-1_12⟩. ⟨hal-04616520⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES UNIV-PARIS-LUMIERES UNIV-PARIS-NANTERRE
52 Consultations
34 Téléchargements

Altmetric

Partager

More