To address these shortcomings, we introduce SymPcNSGA-Testing (Symbolic execution, Path clustering and NSGA-II Testing), a ...
New design, verification and simulation solutions to re-engineer AI-powered product innovation at Synopsys Converge 2026.
Abstract: Multiobjective combinatorial optimization (MOCO) problems have a wide range of applications in the real world. Recently, learning-based methods have achieved good results in solving MOCO ...