Solving Binary Integer Linear Program on DWAVE
I am currently planning to write a d-wave (hybrid) solver for arbitrary binary integer linear programs, mostly from MIPlib. There would be inequalities of both forms as well in those specific instances.
Is there any similar project available?
Apparently, conversion from BILP to QUBO seems to a little tedious thing? Is there any codebase available somewhere?
Comments
Hi Manmatha,
Here is a method that converts BILP to QUBO:
https://qubovert.readthedocs.io/en/latest/problems/np/bilp.html#qubovert.problems.BILP.to_qubo
It is based on Andrew Luca's paper, Ising formulations of many NP problems, which describes how to formulate Binary Integer Linear Program to Ising.
Unfortunately, we do not have this functionality in the Leap at the moment.
We will be sure to update if it becomes available.
Please sign in to leave a comment.