Constraint and integer programming techniques and tools for digital system design [Tutorial] | IEEE Conference Publication | IEEE Xplore