Christian Desrosiers, Philippe Galinier, Alain Hertz
and Sandrine Paroz
Technical Report (2007)
An external link is available for this item| Department: | Department of Mathematics and Industrial Engineering |
|---|---|
| Research Center: | GERAD - Research Group in Decision Analysis |
| PolyPublie URL: | https://publications.polymtl.ca/63746/ |
| Report number: | G-2007-08 |
| Official URL: | https://www.gerad.ca/fr/papers/G-2007-08 |
| Date Deposited: | 15 May 2025 15:47 |
| Last Modified: | 15 May 2025 15:47 |
| Cite in APA 7: | Desrosiers, C., Galinier, P., Hertz, A., & Paroz, S. (2007). Using Meta-Heuristics to Find Minimal Unsatisfiable Subformulas in Satisfiability Problems. (Technical Report n° G-2007-08). https://www.gerad.ca/fr/papers/G-2007-08 |
|---|---|
Statistics
Stats are not available on this system.
Repository Staff Only
|
View Item |
