Bottom-up disjoint-support decomposition based on cofactor and boolean difference analysis.

Vinicius Callegaro, Felipe S. Marranghello, Mayler G. A. Martins, Renato P. Ribas, Andr Incio Reis

Browse the full ICCD paper archive.