Cours de Master Recherche Spécialité CODE - LIRIS - CNRS

Plan de la deuxi`eme partie : approches compl`etes. Notions de correction et de
complétude. Résolution par Séparation & Evaluation (Branch & Bound).

Part of the document