La démonstration automatique en calcul propositionnel au service de la programmation par contraintes

Jean-Marc Boï, Antoine Rauzy. La démonstration automatique en calcul propositionnel au service de la programmation par contraintes. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 90, 8:::ème::: Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France. pages 511-522, 1990.

Abstract

Abstract is missing.