Preuve formelle et contrainte alldiff - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Preuve formelle et contrainte alldiff

Résumé

Nous nous intéressons à la vérification formelle de l'algorithme de filtrage (Régin 94) pour la contrainte alldiff. Cet algorithme utilise fortement la notion de couplage maximum. Nous présentons deux approches différentes de vérification formelle en Coq du calcul d'un couplage maximum dans un graphe
Fichier non déposé

Dates et versions

hal-01670972 , version 1 (21-12-2017)

Identifiants

  • HAL Id : hal-01670972 , version 1

Citer

Catherine Dubois, Antonin Butant, Sourour Elloumi. Preuve formelle et contrainte alldiff. ROADEF 2016 : 17e conférence de la société française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2016, Compiègne, France. pp.1 - 2. ⟨hal-01670972⟩
77 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More