Comment on A dumb introduction to z3parentComments−mikestorrent11moIf you're good at doing this, you should check out the D-Wave constrained quadratic model solvers - very exciting stuff in terms of the quality of solution it can get in a very short runtime on big problems.−mzl11moHas there been any published example of where this solver outperforms a classical solver?
Comments
If you're good at doing this, you should check out the D-Wave constrained quadratic model solvers - very exciting stuff in terms of the quality of solution it can get in a very short runtime on big problems.
Has there been any published example of where this solver outperforms a classical solver?