Improving Technology Mapping for And-Inverter-Cones | IEEE Conference Publication | IEEE Xplore