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