Matches in SemOpenAlex for { <https://semopenalex.org/work/W2367055697> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2367055697 abstract "In this paper,we proposed a random algorithm to solve the SAT problem.This algorithm transform firstly a CNF formula to a corresponding DNF formula and estimate the number Y of satisfiable solutions of the DNF formula.Comparing the Y with 2n,we can estimate the probability of satisfiable solution of CNF formula and judge whether the CNF formula is satisfiable or not." @default.
- W2367055697 created "2016-06-24" @default.
- W2367055697 creator A5030100878 @default.
- W2367055697 date "2007-01-01" @default.
- W2367055697 modified "2023-09-28" @default.
- W2367055697 title "A Random Algorithm for SAT Problem" @default.
- W2367055697 hasPublicationYear "2007" @default.
- W2367055697 type Work @default.
- W2367055697 sameAs 2367055697 @default.
- W2367055697 citedByCount "0" @default.
- W2367055697 crossrefType "journal-article" @default.
- W2367055697 hasAuthorship W2367055697A5030100878 @default.
- W2367055697 hasConcept C11413529 @default.
- W2367055697 hasConcept C114614502 @default.
- W2367055697 hasConcept C118615104 @default.
- W2367055697 hasConcept C16221470 @default.
- W2367055697 hasConcept C200415742 @default.
- W2367055697 hasConcept C33923547 @default.
- W2367055697 hasConcept C41008148 @default.
- W2367055697 hasConcept C6943359 @default.
- W2367055697 hasConceptScore W2367055697C11413529 @default.
- W2367055697 hasConceptScore W2367055697C114614502 @default.
- W2367055697 hasConceptScore W2367055697C118615104 @default.
- W2367055697 hasConceptScore W2367055697C16221470 @default.
- W2367055697 hasConceptScore W2367055697C200415742 @default.
- W2367055697 hasConceptScore W2367055697C33923547 @default.
- W2367055697 hasConceptScore W2367055697C41008148 @default.
- W2367055697 hasConceptScore W2367055697C6943359 @default.
- W2367055697 hasLocation W23670556971 @default.
- W2367055697 hasOpenAccess W2367055697 @default.
- W2367055697 hasPrimaryLocation W23670556971 @default.
- W2367055697 hasRelatedWork W1481200150 @default.
- W2367055697 hasRelatedWork W1532097860 @default.
- W2367055697 hasRelatedWork W1541296345 @default.
- W2367055697 hasRelatedWork W1674033109 @default.
- W2367055697 hasRelatedWork W1971378428 @default.
- W2367055697 hasRelatedWork W1996958432 @default.
- W2367055697 hasRelatedWork W2026105979 @default.
- W2367055697 hasRelatedWork W2075024586 @default.
- W2367055697 hasRelatedWork W2117882305 @default.
- W2367055697 hasRelatedWork W2189304806 @default.
- W2367055697 hasRelatedWork W2568591931 @default.
- W2367055697 hasRelatedWork W2804796737 @default.
- W2367055697 hasRelatedWork W2949523893 @default.
- W2367055697 hasRelatedWork W2951605509 @default.
- W2367055697 hasRelatedWork W2952104738 @default.
- W2367055697 hasRelatedWork W2952943368 @default.
- W2367055697 hasRelatedWork W3042846617 @default.
- W2367055697 hasRelatedWork W3124429033 @default.
- W2367055697 hasRelatedWork W3159197791 @default.
- W2367055697 hasRelatedWork W774584138 @default.
- W2367055697 isParatext "false" @default.
- W2367055697 isRetracted "false" @default.
- W2367055697 magId "2367055697" @default.
- W2367055697 workType "article" @default.