The following pages link to Sandrine Paroz (Q545545):
Displayed 3 items.
- Using local search to speed up filtering algorithms for some NP-hard constraints (Q545546) (← links)
- Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems (Q1037449) (← links)
- Using Local Search to Speed Up Filtering Algorithms for Some NP-Hard Constraints (Q5387639) (← links)