Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems

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
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:	25 sept. 2024 15:57

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
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Répertoire des publications (EndNote)Simple Metadata

Statistiques

Actions réservées au personnel