Optimal Constraint-Preserving Netlist Simplification | IEEE Conference Publication | IEEE Xplore