Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Réduction et Encodage des Contraintes Ensemblistes en SAT

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-02709514
Contributeur : Okina Université d'Angers <>
Soumis le : lundi 1 juin 2020 - 16:53:42
Dernière modification le : mardi 2 juin 2020 - 04:03:49

Identifiants

  • HAL Id : hal-02709514, version 1
  • OKINA : ua15348

Collections

Citation

Frédéric Lardeux, Eric Monfroy. Réduction et Encodage des Contraintes Ensemblistes en SAT. Douzièmes journées Francophones de Programmation par Contraintes (JFPC), 2016, Montpellier, France. ⟨hal-02709514⟩

Partager

Métriques

Consultations de la notice

14