TY  - RPRT
TI  - Solving the Wastewater Treatment Plant Problem with SMT
AU  - Miquel Bofill
AU  - Víctor Muñoz
AU  - Javier Murillo
PY  - 2016
UR  - https://arxiv.org/abs/1609.05367
ID  - 1609.05367
ER  -