@vaishakbelle To cut to the chase: nobody has (yet) gotten #ilp to work at scale in the general case. Each problem requires careful setup and only the simplest solutions can be inferred.
Another non-gradient direction that was popular for awhile was genetic algorithms. They were actually more successful at solving real problems than ILP so far.
Full disclosure: I'm a fan of #logicprogramming