Mar
APR
JUL »
5
2013
2014
2015 »
8 captures
5 Apr 14 - 6 Sep 20
Close
Help
Non-linear constraint solving based on linear relaxations
In this topic the student will extend the existing solver
RSolver
with a method for linearly over-approximating non-linear constraints.