Strategy-proof approximation algorithms for the stable marriage problem with ties and incomplete listsKoki HamadaShuichi Miyazakiet al.2019ISAAC 2019