Contribution aux techniques de satisfaction de contraintes par combinaison de termes non linéaires.

Laurent Granvilliers Mina Ouabiba Contribution aux techniques de satisfaction de contraintes par combinaison de termes non linéaires. 2004 conf/jfplc/2004 JFPLC db/conf/jfplc/jfplc2004.html#GranvilliersO04