Busy man's synthesis: Combinational delay optimization with SAT | IEEE Conference Publication | IEEE Xplore