Obviously there are many ingredients in building an efficient CP solver. One of our magical weapons is the Explanation-based weighted degree heuristic (e-wdeg) that we published in CPAIOR 2017. Link : https://t.co/nq828Yab2s Preprint here: https://t.co/nP
116 followers
6,685 followers
@onur_kabul The conference version is also on our website in Aachen https://t.co/F5bMEdUySw
5,440 followers
Experimental validation of volume-based comparison for double-McCormick relaxations. https://t.co/bJNCBNn9D2
243 followers
Experimental validation of volume-based comparison for double-McCormick relaxations https://t.co/MqRvM8W67m