Efficient Handling of Universally Quantified Inequalities

Type de document :
Article dans une revue
Constraints, Springer Verlag, 2009, 14 (1), pp.117-135
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00431129
Contributeur : Alexandre Goldsztejn <>
Soumis le : mardi 10 novembre 2009 - 17:34:05
Dernière modification le : mercredi 24 juin 2015 - 11:00:14

Identifiants

  • HAL Id : hal-00431129, version 1

Collections

Citation

Alexandre Goldsztejn, Michel Rueher, Michel Claude. Efficient Handling of Universally Quantified Inequalities. Constraints, Springer Verlag, 2009, 14 (1), pp.117-135. 〈hal-00431129〉

Partager

Métriques

Consultations de la notice

87