116 followers
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