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
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01670972
Contributor : Médiathèque Télécom Sudparis & Institut Mines-Télécom Business School <>
Submitted on : Thursday, December 21, 2017 - 4:52:51 PM
Last modification on : Saturday, January 18, 2020 - 1:17:44 AM

Identifiers

  • HAL Id : hal-01670972, version 1

Citation

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⟩

Share

Metrics

Record views

75