Matches in SemOpenAlex for { <https://semopenalex.org/work/W1936515665> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1936515665 abstract "This paper introduces a knowledge recognition algorithm (KRA) for solving the 3SAT problem in polynomial time. KRA learns member-class relations and retrieves information through deductive and reductive iterative reasoning. It applies the principle of Chinese COVA* (equivalent to a set of eight 3-variable conjunctive clauses) and eliminates the OR operation to solve 3-SAT problem. That is, KRA does not search the assignment directly. It recognizes the complements as rejections at each level of the set through iterative set relation recognition. KRA recognizes which conjunctive 3-variable-clause is not satisfiable. If all the eight clauses of any set of 3-variable clauses are rejected, then there is not an assignment for the formula. If there is at least one clause in each set that remains, then there is at least one assignment that is the union of clauses of each set. If there is more than one clause in each set that remains, then there are multiple assignments that are the unions of the clauses of each set respectively." @default.
- W1936515665 created "2016-06-24" @default.
- W1936515665 creator A5046008764 @default.
- W1936515665 creator A5049977124 @default.
- W1936515665 creator A5063591712 @default.
- W1936515665 date "2010-09-19" @default.
- W1936515665 modified "2023-09-27" @default.
- W1936515665 title "3-SAT Polynomial Solution of Knowledge Recognition Algorithm" @default.
- W1936515665 cites W1646008629 @default.
- W1936515665 cites W1975442866 @default.
- W1936515665 cites W2066356146 @default.
- W1936515665 cites W2117537240 @default.
- W1936515665 hasPublicationYear "2010" @default.
- W1936515665 type Work @default.
- W1936515665 sameAs 1936515665 @default.
- W1936515665 citedByCount "0" @default.
- W1936515665 crossrefType "posted-content" @default.
- W1936515665 hasAuthorship W1936515665A5046008764 @default.
- W1936515665 hasAuthorship W1936515665A5049977124 @default.
- W1936515665 hasAuthorship W1936515665A5063591712 @default.
- W1936515665 hasConcept C11413529 @default.
- W1936515665 hasConcept C124101348 @default.
- W1936515665 hasConcept C134306372 @default.
- W1936515665 hasConcept C136726353 @default.
- W1936515665 hasConcept C154945302 @default.
- W1936515665 hasConcept C16221470 @default.
- W1936515665 hasConcept C168773769 @default.
- W1936515665 hasConcept C177264268 @default.
- W1936515665 hasConcept C182365436 @default.
- W1936515665 hasConcept C199360897 @default.
- W1936515665 hasConcept C25343380 @default.
- W1936515665 hasConcept C2777212361 @default.
- W1936515665 hasConcept C33923547 @default.
- W1936515665 hasConcept C41008148 @default.
- W1936515665 hasConcept C6943359 @default.
- W1936515665 hasConcept C90119067 @default.
- W1936515665 hasConceptScore W1936515665C11413529 @default.
- W1936515665 hasConceptScore W1936515665C124101348 @default.
- W1936515665 hasConceptScore W1936515665C134306372 @default.
- W1936515665 hasConceptScore W1936515665C136726353 @default.
- W1936515665 hasConceptScore W1936515665C154945302 @default.
- W1936515665 hasConceptScore W1936515665C16221470 @default.
- W1936515665 hasConceptScore W1936515665C168773769 @default.
- W1936515665 hasConceptScore W1936515665C177264268 @default.
- W1936515665 hasConceptScore W1936515665C182365436 @default.
- W1936515665 hasConceptScore W1936515665C199360897 @default.
- W1936515665 hasConceptScore W1936515665C25343380 @default.
- W1936515665 hasConceptScore W1936515665C2777212361 @default.
- W1936515665 hasConceptScore W1936515665C33923547 @default.
- W1936515665 hasConceptScore W1936515665C41008148 @default.
- W1936515665 hasConceptScore W1936515665C6943359 @default.
- W1936515665 hasConceptScore W1936515665C90119067 @default.
- W1936515665 hasLocation W19365156651 @default.
- W1936515665 hasOpenAccess W1936515665 @default.
- W1936515665 hasPrimaryLocation W19365156651 @default.
- W1936515665 hasRelatedWork W141098031 @default.
- W1936515665 hasRelatedWork W1504296877 @default.
- W1936515665 hasRelatedWork W1531414918 @default.
- W1936515665 hasRelatedWork W1557481323 @default.
- W1936515665 hasRelatedWork W1584085037 @default.
- W1936515665 hasRelatedWork W1984456200 @default.
- W1936515665 hasRelatedWork W1988639350 @default.
- W1936515665 hasRelatedWork W2005967372 @default.
- W1936515665 hasRelatedWork W2031435353 @default.
- W1936515665 hasRelatedWork W2069504147 @default.
- W1936515665 hasRelatedWork W2082836729 @default.
- W1936515665 hasRelatedWork W2109048726 @default.
- W1936515665 hasRelatedWork W2135913872 @default.
- W1936515665 hasRelatedWork W2505733753 @default.
- W1936515665 hasRelatedWork W2606468876 @default.
- W1936515665 hasRelatedWork W2963779915 @default.
- W1936515665 hasRelatedWork W2982005812 @default.
- W1936515665 hasRelatedWork W3120153087 @default.
- W1936515665 hasRelatedWork W618838339 @default.
- W1936515665 hasRelatedWork W2116541562 @default.
- W1936515665 isParatext "false" @default.
- W1936515665 isRetracted "false" @default.
- W1936515665 magId "1936515665" @default.
- W1936515665 workType "article" @default.