These include slow but formally correct methods like dynamic programming.
Едни од нив се релативно бавните, но формално точните методи на динамичко програмирање.