Meseguer, Pedro; Bouhmala, Noureddine; Bouzoubaa, Taoufik; Irgens, Morten; Sànchez Fibla, Martí
(Springer, 2003)
We summarize existing approaches to model and solve overconstrained problems. These problems are usually formulated as combinatorial optimization problems, and different specific and generic formalisms are discussed, ...