• Satisfiability-based covering of AIGs using KL-cuts 

      Peralta, Renato Donizete (2024) [Tesis]
      The rapid advancement of Very-large-scale integration (VLSI) silicon integration has revolutionized the electronics industry, enabling the integration of billions of transistors into a single integrated circuit. This ...