<  Back to the Polytechnique Montréal portal

Items published in "2009"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Department | Document subtype | No Grouping
Jump to: D
Number of items: 1.

D

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. External link

List generated on: Mon Jan 13 06:59:49 2025 EST
PolyPublie is the institutional repository of Polytechnique Montréal.
This website is powered by the EPrints open-source software.