Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Michel Rueher
Researcher
PaperHandling software upgradeability problems with MILP solversAuthorship / preprint / 2010PaperUne approche CSP pour l'aide à la localisation d'erreursAuthorship / preprint / 2014PaperUn algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreursAuthorship / preprint / 2015PaperSearching input values hitting suspicious Intervals in programs with floating-point operationsAuthorship / preprint / 2016PaperBringing freedom in variable choice when searching counter-examples in floating point programsAuthorship / preprint / 2020PaperAn efficient constraint based framework forhandling floating point SMT problemsAuthorship / preprint / 2020