Constraint-driven diagram layout | IEEE Conference Publication | IEEE Xplore