1
Constraint solving over multi-valued logics : application to digital circuits [E-Book] /