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 : mardi 13 février 2018 - 11:06:07

Identifiants

  • HAL Id : hal-00431129, version 1

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

103