Christine Solnon Coopération de solveurs linéaires sur les réels pour la résolution de problèmes linéaires sur les entiers. 211- 1997 conf/jfplc/1997 JFPLC db/conf/jfplc/jfplc1997.html#Solnon97