Procédure d'exploration par séparation et évaluationB. RoyR.I.R.O., 3 V1 (1969) 61-90DOI: https://doi.org/10.1051/ro/196903V100611