Dilworth Decomposition in C++ using the LEDA Graph library

Sid Touati

Logiciel Année : 2021

Dilworth Decomposition in C++ using the LEDA Graph library

(1)

Sid Touati

Fonction : Auteur
PersonId : 962200

Logical Time for Formal Embedded System Design

Résumé

In memory of Vincent Bouchitté, former professor at Ecole Normale Supérieur de Lyon : Dilworth Decomposition (Maximal Antichain in Orders, resp. Minimal Chain Decomposition).

Domaines

Informatique Informatique et langage [cs.CL]

Sid Touati : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03445891

Soumis le : jeudi 25 novembre 2021-11:11:58

Dernière modification le : mardi 29 octobre 2024-16:04:03

Dates et versions

hal-03445891 , version 1 (25-11-2021)

Identifiants

HAL Id : hal-03445891 , version 1
SWHID : swh:1:dir:96814a40df85e15f23dec922f30ed0ce5c3f6336;origin=https://hal.archives-ouvertes.fr/hal-03445891;visit=swh:1:snp:a39dbdfa45e4a236e06b22efb7f9495b7b621416;anchor=swh:1:rel:945df584d6c66ea6973544f084124038c4d0a51f;path=/

version :
Licences : GNU General Public License v3.0 or later
Code Repository :

Citer

Sid Touati. Dilworth Decomposition in C++ using the LEDA Graph library. 2021, ⟨swh:1:dir:96814a40df85e15f23dec922f30ed0ce5c3f6336;origin=https://hal.archives-ouvertes.fr/hal-03445891;visit=swh:1:snp:a39dbdfa45e4a236e06b22efb7f9495b7b621416;anchor=swh:1:rel:945df584d6c66ea6973544f084124038c4d0a51f;path=/⟩. ⟨hal-03445891⟩

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA I3S INRIA2 UNIV-COTEDAZUR

74 Consultations

27 Téléchargements

Dilworth Decomposition in C++ using the LEDA Graph library

Résumé

Domaines

Dates et versions

Identifiants

Métadonnées

Citer

Exporter

Collections

Partager