Michel Rueher

Available identifiers

zbMath Open rueher.michelWikidataQ110864410 ScholiaQ110864410MaRDI QIDQ487626

List of research outcomes

Publication	Date of Publication	Type
Improved filtering for weighted circuit constraints	2015-01-22	Paper
The Weighted Spanning Tree Constraint Revisited	2010-06-22	Paper
Improving the Held and Karp Approach with Constraint Programming	2010-06-22	Paper
CPBPV: a constraint-programming framework for bounded program verification	2010-05-05	Paper
Efficient handling of universally quantified inequalities	2009-05-29	Paper
Mind the Gaps: A New Splitting Strategy for Consistency Techniques	2008-09-09	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
An efficient and safe framework for solving optimization problems	2007-02-02	Paper
Inequality-sum: a global constraint capturing the objective function	2006-07-11	Paper
Efficient and Safe Global Constraints for Handling Numerical Constraint Systems	2005-10-28	Paper
A rigorous global filtering algorithm for quadratic constraints	2005-05-17	Paper
https://portal.mardi4nfdi.de/entity/Q4475657	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4473029	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4473039	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q2767075	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4253832	2000-07-19	Paper
Comparing partial consistencies	2000-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4944887	2000-03-22	Paper
Dynamic optimization of interval narrowing algorithms	1999-05-31	Paper
https://portal.mardi4nfdi.de/entity/Q4949361	1999-01-01	Paper
Concurrent cooperating solvers over reals	1998-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4282531	1994-03-17	Paper

Research outcomes over time

This page was built for person: Michel Rueher