Generalized reasoning scheme for redundancy addition and removal logic optimization.

Jos Alberto Espejo, Luis Entrena, Enrique San Milln, Emilio Olas

Browse the full DATE paper archive.