Christian Desrosiers, Philippe Galinier, Alain Hertz
et Sandrine Paroz
Rapport technique (2007)
Un lien externe est disponible pour ce document| Département: | Département de mathématiques et de génie industriel |
|---|---|
| Centre de recherche: | GERAD - Groupe d'études et de recherche en analyse des décisions |
| URL de PolyPublie: | https://publications.polymtl.ca/63746/ |
| Numéro du rapport: | G-2007-08 |
| URL officielle: | https://www.gerad.ca/fr/papers/G-2007-08 |
| Date du dépôt: | 15 mai 2025 15:47 |
| Dernière modification: | 15 mai 2025 15:47 |
| Citer en APA 7: | Desrosiers, C., Galinier, P., Hertz, A., & Paroz, S. (2007). Using Meta-Heuristics to Find Minimal Unsatisfiable Subformulas in Satisfiability Problems. (Rapport technique n° G-2007-08). https://www.gerad.ca/fr/papers/G-2007-08 |
|---|---|
Statistiques
Aucune statistique n'est disponible.
Actions réservées au personnel
|
Afficher document |
