Christian Desrosiers, Philippe Galinier, Alain Hertz
, Sandrine Paroz
Rapport technique (2007)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
Unité de recherche:
Adresse URL de PolyPublie:
Numéro du rapport:
G-2007-08
URL officielle:
OAI:
oai:publications.polymtl.ca:63746
ORCID
Date du dépôt:
15 mai 2025 15:47
Dernière modification:
14 oct. 2026 14:24
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.
