Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems

Christian Desrosiers, Philippe Galinier, Alain Hertz, Sandrine Paroz

Article de revue (2009)

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Voir chez l'éditeur officiel
Département:
Département de génie informatique et génie logiciel
Département de mathématiques et de génie industriel
Unité de recherche:
GERAD - Groupe d'études et de recherche en analyse des décisions
Adresse 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
OAI:
oai:publications.polymtl.ca:19718
ORCID
Date du dépôt:
18 avr. 2023 15:14
Dernière modification:
14 oct. 2026 11:23
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
Afficher document