A.I. Writes Buggy Code. A Silicon Valley Start-Up Wants to Fix It.

These start-ups, including Axiom Math and Harmonic, both in Palo Alto, Calif., and Logical Intelligence in San Francisco, hope to create A.I. systems that can automatically verify computer code in ...
Harvard Business School

The Case Method

Have you ever worked with a group of people trying to solve a problem? There are different opinions, different considerations, and each person’s perspective provides a different angle on the problem.
IEEE

An Efficient Method for Solving the Traveling Salesman Problem Using Modern Optimization Algorithms

Abstract: Metaheuristic algorithms have demonstrated strong effectiveness in solving complex real-world optimization problems. This paper presents two discrete metaheuristic approaches for the ...
IEEE

Constraint Programming Based Model and Algorithm for Solving Steelmaking and Continuous Casting Scheduling Problem with Adjustable Casting Time

Abstract: The Steelmaking-Continuous Casting (SCC) scheduling problem is usually regarded as a type of hybrid flow-shop scheduling problems (HFSP) with special process constraints. To research the SCC ...