Búsqueda

A Computational framework for prime implicants identification in noncoherent dynamic systems