Text this: Uso de cortes canonicos no metodo de ramificação local para problemas inteiros 0-1 mistos