M. Schlag, Y.Z. Liao, et al.
Integration, the VLSI Journal
Let G=(X,Y;E) be a bipartite graph with \X\≥\Y. For A⊆X, write φ(A)=|A|-\N(A)\ and for a≤\X, define φ(a)=max{φ(A)|A⊆X, \A=a}. The graph G is said to have the strong Hall property if φ(a)+φ(b)≤\X-\Y\ for all nonnegative integers a and b with a+b≤|X|. We shall prove that any unimodal and self-dual poset with the strong Hall property is a symmetric chain order. This result will also be used to show that the inversion poset S5 is a symmetric chain order. © 1999 Elsevier Science B.V. All rights reserved.
M. Schlag, Y.Z. Liao, et al.
Integration, the VLSI Journal
Gopalakriskhnan Vijayan, Howard H. Chen, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
P. Widmayer, C.K. Wong
Information Processing Letters
Malcolm C. Easton, C.K. Wong
IEEE Transactions on Reliability