A Branch-and-Bound Algorithm Embedded with DCA for DC Programming. (12th July 2012)