On efficient CPU-usage in a VLSI CAD-environment with application to circuit partitioning | IEEE Conference Publication | IEEE Xplore