Matches in SemOpenAlex for { <https://semopenalex.org/work/W2363552669> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2363552669 abstract "Satisfiability problem abbreviated to SAT is a very important problem in computer science and artificial intelligence and is firstly proved to be a NPC problem.In this paper,the sets of clauses are researched,giving the definitions of flipping,simple sets of clauses and flipping isomorphism.Moreover,I prove that flipping doesn't affect the satisfiability of a set of clauses and three sufficient and necessary conditions are proved.In the end of this paper,it is simply discussed that these conditions can be utilized in complete algorithm and incomplete algorithm of SAT." @default.
- W2363552669 created "2016-06-24" @default.
- W2363552669 creator A5021752932 @default.
- W2363552669 date "2007-01-01" @default.
- W2363552669 modified "2023-10-02" @default.
- W2363552669 title "Sufficient and necessary conditions for SAT" @default.
- W2363552669 hasPublicationYear "2007" @default.
- W2363552669 type Work @default.
- W2363552669 sameAs 2363552669 @default.
- W2363552669 citedByCount "0" @default.
- W2363552669 crossrefType "journal-article" @default.
- W2363552669 hasAuthorship W2363552669A5021752932 @default.
- W2363552669 hasConcept C111472728 @default.
- W2363552669 hasConcept C11413529 @default.
- W2363552669 hasConcept C115624301 @default.
- W2363552669 hasConcept C118615104 @default.
- W2363552669 hasConcept C138885662 @default.
- W2363552669 hasConcept C168773769 @default.
- W2363552669 hasConcept C177264268 @default.
- W2363552669 hasConcept C185592680 @default.
- W2363552669 hasConcept C199360897 @default.
- W2363552669 hasConcept C203436722 @default.
- W2363552669 hasConcept C2780586882 @default.
- W2363552669 hasConcept C33923547 @default.
- W2363552669 hasConcept C41008148 @default.
- W2363552669 hasConcept C6943359 @default.
- W2363552669 hasConcept C8010536 @default.
- W2363552669 hasConcept C80444323 @default.
- W2363552669 hasConceptScore W2363552669C111472728 @default.
- W2363552669 hasConceptScore W2363552669C11413529 @default.
- W2363552669 hasConceptScore W2363552669C115624301 @default.
- W2363552669 hasConceptScore W2363552669C118615104 @default.
- W2363552669 hasConceptScore W2363552669C138885662 @default.
- W2363552669 hasConceptScore W2363552669C168773769 @default.
- W2363552669 hasConceptScore W2363552669C177264268 @default.
- W2363552669 hasConceptScore W2363552669C185592680 @default.
- W2363552669 hasConceptScore W2363552669C199360897 @default.
- W2363552669 hasConceptScore W2363552669C203436722 @default.
- W2363552669 hasConceptScore W2363552669C2780586882 @default.
- W2363552669 hasConceptScore W2363552669C33923547 @default.
- W2363552669 hasConceptScore W2363552669C41008148 @default.
- W2363552669 hasConceptScore W2363552669C6943359 @default.
- W2363552669 hasConceptScore W2363552669C8010536 @default.
- W2363552669 hasConceptScore W2363552669C80444323 @default.
- W2363552669 hasLocation W23635526691 @default.
- W2363552669 hasOpenAccess W2363552669 @default.
- W2363552669 hasPrimaryLocation W23635526691 @default.
- W2363552669 hasRelatedWork W1494888826 @default.
- W2363552669 hasRelatedWork W1571591500 @default.
- W2363552669 hasRelatedWork W1592709139 @default.
- W2363552669 hasRelatedWork W1601301932 @default.
- W2363552669 hasRelatedWork W1839772956 @default.
- W2363552669 hasRelatedWork W1980948781 @default.
- W2363552669 hasRelatedWork W2045269085 @default.
- W2363552669 hasRelatedWork W2051475155 @default.
- W2363552669 hasRelatedWork W2111636967 @default.
- W2363552669 hasRelatedWork W2131213887 @default.
- W2363552669 hasRelatedWork W2164103737 @default.
- W2363552669 hasRelatedWork W2249789217 @default.
- W2363552669 hasRelatedWork W2296553656 @default.
- W2363552669 hasRelatedWork W2296572843 @default.
- W2363552669 hasRelatedWork W2341274750 @default.
- W2363552669 hasRelatedWork W2521631761 @default.
- W2363552669 hasRelatedWork W2888158144 @default.
- W2363552669 hasRelatedWork W2963036764 @default.
- W2363552669 hasRelatedWork W3009128102 @default.
- W2363552669 hasRelatedWork W61552399 @default.
- W2363552669 isParatext "false" @default.
- W2363552669 isRetracted "false" @default.
- W2363552669 magId "2363552669" @default.
- W2363552669 workType "article" @default.