Search Results - "Algorithms—analysis of algorithms"
-
1
Intelligent systems and polynomial solvability of NP-complete problems
ISBN: 9781424464999, 1424464994ISSN: 2326-8123Published: IEEE 01.06.2010Published in 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…”
Get full text
Conference Proceeding

