Shlomo Moran Satish Rao Sagi Snir Using Semi-definite Programming to Enhance Supertree Resolvability. 89-103 2005 conf/wabi/2005 WABI http://dx.doi.org/10.1007/11557067_8 db/conf/wabi/wabi2005.html#MoranRS05