Constraint improvements for MILP-based hardware synthesis | IEEE Conference Publication | IEEE Xplore