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 : jeudi 26 novembre 2020 - 10:30:10

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

19