Abstract: Graph partitioning has many applications in power systems, from decentralized state estimation to parallel simulation. Focusing on parallel simulation, optimal grid partitioning minimizes ...

Abstract: Combinational Equivalence Checking (CEC) is essential for circuit verification, but traditional heuristic-based sweeping engine selection often results in inefficiencies. To address this, we ...