Výsledky vyhledávání - "Algorithms—Analysis of algorithms"

Intelligent systems and polynomial solvability of NP-complete problems Autor Chaudhari, Narendra S

“…Many fundamental problems in automated theorem proving are known to be NP-Complete. In, we have given a polynomial algorithm for 3-SAT, one of the first…”
Získat plný text