====== Graduate Thesis: High Performance Algorithms for Logic Synthesis  ======

This thesis, aimed at graduate students (//laurea specialistica//) aims at designing and implementing new algorithms for [[research:bmg|Logic Synthesis]].

Such algorithms may address the P-equivalence problem for Boolean functions under relaxed conditions, such as //don't care//, or higher level technology mapping problems.