Projeção Eficiente de Violações de Restrições de Negação. - Leonardo F. Luciano; Wendel C. Moro; Eduardo C. de Almeida; Eduardo H. M. Pena (SBBD, 2023)