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

Set Constraint Model Reduction and Encoding into SAT

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

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

Identifiants

  • HAL Id : hal-02709491, version 1
  • OKINA : ua15345

Collections

Citation

Frédéric Lardeux, Eric Monfroy. Set Constraint Model Reduction and Encoding into SAT. 28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2016, San Jose, United States. ⟨hal-02709491⟩

Partager

Métriques

Consultations de la notice

13