Two-dimensional layout migration by soft constraint satisfaction | IEEE Conference Publication | IEEE Xplore