#artificial intelligence
Aug 2021
Stable Marriage Problems with Ties and Incomplete Preferences: An Empirical Comparison of ASP, SAT, ILP, CP, and Local Search Methods
This work considers three optimization variants of SMTI, Max Cardinality, Sex-Equal and Egalitarian, and empirically compare the following methods to solve them: Answer Set Programming, Constraint Programming, Integer Linear Programming, and Max Cardinality.
Selin Eyupoglu, Müge Fidan, Yavuz Gulesen et al.
· arXiv.org · 1 citation