Assertion: hasse diagram | /r/AtLocation | linear time
Facets:
Source sentences:
text: If the y-coordinates of the elements of a partial order are specified, then a crossing-free Hasse diagram respecting those coordinate assignments can be found in linear time, if such a diagram exists.