Constructive AIG optimization through functional composition. - Thiago Figueiro; Renato P. Ribas; André Inácio Reis (ARCS Workshops, 2011)

Constructive AIG optimization considering input weights. - Thiago Figueiro; Renato P. Ribas; André Inácio Reis (ISQED, 2011)