Sandrine Paroz
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Using local search to speed up filtering algorithms for some NP-hard constraints Annals of Operations Research | 2011-06-22 | Paper |
| Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems Journal of Combinatorial Optimization | 2009-11-16 | Paper |
| Using Local Search to Speed Up Filtering Algorithms for Some NP-Hard Constraints Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-05-27 | Paper |
Research outcomes over time
This page was built for person: Sandrine Paroz
