Un nouveau cadre diviser pour régner pour SAT distribué - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Un nouveau cadre diviser pour régner pour SAT distribué

Fichier non déposé

Dates et versions

hal-00869916 , version 1 (04-10-2013)

Identifiants

  • HAL Id : hal-00869916 , version 1

Citer

Gilles Audemard, Benoît Hoessen, Said Jabbour, Cédric Piette. Un nouveau cadre diviser pour régner pour SAT distribué. 9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13), 2013, Aix-en-Provence, Francia. pp.51-58. ⟨hal-00869916⟩
24 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More