At most 3.55n stable matchings | IEEE Conference Publication | IEEE Xplore