Výsledky vyhledávání - "Algorithms—Analysis of algorithms"
-
1
Intelligent systems and polynomial solvability of NP-complete problems
ISBN: 9781424464999, 1424464994ISSN: 2326-8123Vydáno: IEEE 01.06.2010Vydáno v 2010 IEEE Conference on Cybernetics and Intelligent Systems (01.06.2010)“…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
Konferenční příspěvek

