Graeme Gange Kim Marriott Peter J. Stuckey Smooth Linear Approximation of Non-overlap Constraints. 45-59 2008 Diagrams http://dx.doi.org/10.1007/978-3-540-87730-1_8 conf/diagrams/2008 db/conf/diagrams/diagrams2008.html#GangeMS08