RT @FelixVuo: @mo_norouzi @ArminBiere In my PhD project we're looking at using ML to make good decisions about how to encode more general c…
982 followers
185 followers
@mo_norouzi @ArminBiere In my PhD project we're looking at using ML to make good decisions about how to encode more general constraint problems into SAT - this has been done in other ways already, e.g. by the PROTEUS people https://t.co/M3pzJObgVT
6,685 followers
Another interesting work hybridizing MIP and LS (but here #LocalSolver is not cited) http://t.co/R20SkOfzaf
4,033 followers
Another interesting work hybridizing MIP and LS (but here #LocalSolver is not cited) http://t.co/R20SkOfzaf