Christian Desrosiers, Philippe Galinier, Alain Hertz
et Sandrine Paroz
Article de revue (2009)
Un lien externe est disponible pour ce document
| Département: |
Département de génie informatique et génie logiciel 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/19718/ |
| Titre de la revue: | Journal of Combinatorial Optimization (vol. 18, no 2) |
| Maison d'édition: | Springer |
| DOI: | 10.1007/s10878-008-9142-4 |
| URL officielle: | https://doi.org/10.1007/s10878-008-9142-4 |
| Date du dépôt: | 18 avr. 2023 15:14 |
| Dernière modification: | 15 mai 2025 14:36 |
| Citer en APA 7: | Desrosiers, C., Galinier, P., Hertz, A., & Paroz, S. (2009). Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems. Journal of Combinatorial Optimization, 18(2), 124-150. https://doi.org/10.1007/s10878-008-9142-4 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
