Peng Lin, Mengchuan Zou, Shaowei Cai: An Efficient Local Search Solver for Mixed Integer Programming. CP 2024: 19:1-19:19