Multiobjective search based algorithms for circuit partitioning problem for acceleration of logic simulation | IEEE Conference Publication | IEEE Xplore