Closed ebhardjan closed 6 years ago
Partially solved for sat cases. If there will be time I can try to solve it for unsat. However, my approach can still be improved since now I am stealing just from one neighbor(we can try to steal from all neighbour but there will be higher traffic -> bad for small cases but good for bigger ones)
UNSAT cases: future work
@limo1996: I suggest you take this one. If you want you can extend the google doc with the original interface description and I can review it. Here are a few points that I think are important: