The following pages link to Michel Rueher (Q487626):
Displaying 5 items.
- Improved filtering for weighted circuit constraints (Q487627) (← links)
- An efficient and safe framework for solving optimization problems (Q861905) (← links)
- CPBPV: a constraint-programming framework for bounded program verification (Q968353) (← links)
- Efficient handling of universally quantified inequalities (Q1020499) (← links)
- A rigorous global filtering algorithm for quadratic constraints (Q1774519) (← links)
