https://scholarspace.manoa.hawaii.edu/server/api/core/bitstreams/8e872576-b70c-457d-a458-d260f21d66f3/contentRead more... )

http://essay.utwente.nl/91688/1/Tomov_BA_EEMCS.pdf - здесь товарищ пытается собирать "графы Логических И с Отрицаниями" (and-inverter graph) для логических схем, представленных в виде ROBDD.

Использует он алгоритм, что позволяет получить неупрощаемые примитивные ( Read more... )

( Как обычно, сильно техническое )