Sandrine Paroz

According to our database, Sandrine Paroz authored at least 2 papers between 2008 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems.

Christian Desrosiers, Philippe Galinier, Alain Hertz, Sandrine Paroz

J. Comb. Optim., 2009

2008

Using Local Search to Speed Up Filtering Algorithms for Some NP-Hard Constraints.

Philippe Galinier, Alain Hertz, Sandrine Paroz, Gilles Pesant

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008