Boolean factoring with multi-objective goals. - Mayler G. A. Martins; Leomar S. da Rosa Jr.; Anders B. Rasmussen; Renato P. Ribas; André Inácio Reis (ICCD, 2010)