TY  - RPRT
TI  - Combining finite and continuous solvers
AU  - Jean-Guillaume Fages
AU  - Gilles Chabert
AU  - Charles Prud'homme
PY  - 2014
UR  - https://arxiv.org/abs/1402.1361
ID  - 1402.1361
ER  -