Hardware Minimization of Two-Level Adiabatic Logic Based on Weighted Maximum Stable Set Problem | IEEE Conference Publication | IEEE Xplore