Boolean Decomposition for AIG Optimization | Publicación