Tractability practical approaches to hard problems - Bordeaux