Keyword:Branch and Bound

Papers
The Exact Solution of Travelling Salesman by Mixed Integer Programming in Matlab Jaromir Zahradka EasyChair Preprint no. 8439
Maple Program for MC 2021 Paper: a Machine Proof of an Inequality for the Sum of Distances between Four Points on the Unit Hemisphere using Maple Software Zhenbing Zeng, Yaochen Xu, Jian Lu and Liangyu Chen EasyChair Preprint no. 6349
Reinforcement Learning for Variable Selection in a Branch and Bound Algorithm Marc Etheve, Zacharie Alès, Côme Bissuel, Olivier Juan and Safia Kedad-Sidhoum EasyChair Preprint no. 2572
Improved Heuristic for Manipulation of Second-order Copeland Elections Ramoni Lasisi and Abibat Lasisi In:GCAI 2017. 3rd Global Conference on Artificial Intelligence