Towards a Symbolic Logic Minimization Algorithm
Olivier Coudert, J.C. Madre · 2005
This paper presents the application of the recently introduced implicit sets of products manipulations based on binary decision diagrams to the generation of irredundant prime covers of Boolean functions and of multiple output Boolean functions. The results obtained with this procedure are compared with the ones obtained with ESPRESSO and with the procedure presented in [ll].