Comment by eru

1 hour ago

You can have a look at eg improvements in solving linear programming problems or in mixed integer linear programming or SAT solvers.

0 comments