Michel Rueher

zbMath Openrueher.michelWikidataQ110864410 ScholiaQ110864410MaRDI QIDQ487626

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
Improved filtering for weighted circuit constraints Constraints	2015-01-22	Paper
The Weighted Spanning Tree Constraint Revisited Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2010-06-22	Paper
Improving the Held and Karp Approach with Constraint Programming Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2010-06-22	Paper
CPBPV: a constraint-programming framework for bounded program verification Constraints	2010-05-05	Paper
Efficient handling of universally quantified inequalities Constraints	2009-05-29	Paper
Mind the Gaps: A New Splitting Strategy for Consistency Techniques Principles and Practice of Constraint Programming - CP 2005	2008-09-09	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2007-05-02	Paper
An efficient and safe framework for solving optimization problems Journal of Computational and Applied Mathematics	2007-02-02	Paper
Inequality-sum: a global constraint capturing the objective function RAIRO - Operations Research	2006-07-11	Paper
Efficient and Safe Global Constraints for Handling Numerical Constraint Systems SIAM Journal on Numerical Analysis	2005-10-28	Paper
A rigorous global filtering algorithm for quadratic constraints Constraints	2005-05-17	Paper
scientific article; zbMATH DE number 2084728 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 2080310 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 2080320 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 1696810 (Why is no real title available?)	2002-01-28	Paper
scientific article; zbMATH DE number 1322791 (Why is no real title available?)	2000-07-19	Paper
Comparing partial consistencies Reliable Computing	2000-03-22	Paper
scientific article; zbMATH DE number 1420821 (Why is no real title available?)	2000-03-22	Paper
Dynamic optimization of interval narrowing algorithms The Journal of Logic Programming	1999-05-31	Paper
scientific article; zbMATH DE number 1440918 (Why is no real title available?)	1999-01-01	Paper
Concurrent cooperating solvers over reals Reliable Computing	1998-05-13	Paper
scientific article; zbMATH DE number 517008 (Why is no real title available?)	1994-03-17	Paper

Research outcomes over time

This page was built for person: Michel Rueher