Yahia Lebbah Claude Michel Michel Rueher Efficient Pruning Technique Based on Linear Relaxations. 1-14 2003 conf/cocos/2003 COCOS http://dx.doi.org/10.1007/11425076_1 db/conf/cocos/cocos2003.html#LebbahMR03