Stable Marriage Problems with Ties and Incomplete Preferences: An Empirical Comparison of ASP, SAT, ILP, CP, and Local Search Methods. - Selin Eyupoglu; Muge Fidan; Yavuz Gulesen; Ilayda Begum Izci; Berkan Teber; Baturay Yilmaz; Ahmet Alkan; Esra Erdem 001 (CoRR, 2021)