Grégoire Dooms Irit Katriel The "Not-Too-Heavy Spanning Tree" Constraint. 59-70 2007 conf/cpaior/2007 CPAIOR http://dx.doi.org/10.1007/978-3-540-72397-4_5 db/conf/cpaior/cpaior2007.html#DoomsK07