Yann Meyer

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Constrained Problems

Quantifier Elimination

Interval Arithmetic

Constraint Propagation

Top Venues

Publications

Yann Meyer, Pierre-Alain Yvars, Thierry Verdot
Systemic optimization of an active vibration micro-isolator: An interval computation and constraint propagation based approach. AIM (2014)