Integrating Conflict Driven Clause Learning to Local Search - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Integrating Conflict Driven Clause Learning to Local Search

Fichier non déposé

Dates et versions

hal-00870858 , version 1 (08-10-2013)

Identifiants

  • HAL Id : hal-00870858 , version 1

Citer

Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs. Integrating Conflict Driven Clause Learning to Local Search. 6th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09), 2009, Lisbonne, Portugal. ⟨hal-00870858⟩
12 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More