Matches in SemOpenAlex for { <https://semopenalex.org/work/W2348502455> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2348502455 endingPage "186" @default.
- W2348502455 startingPage "184" @default.
- W2348502455 abstract "Einstein Puzzle,or Zebra Puzzle,is a widely known riddle given by Einstein in the early 20th century.He said 98% people in the world cannot solve this riddle.The question is a typical logical question which can be formalized as a SAT problem.We investigated how to solve the riddle by SAT.And then the currently popular SAT solvers,such as MinSat,was employed in solving this riddle automatically." @default.
- W2348502455 created "2016-06-24" @default.
- W2348502455 creator A5003990194 @default.
- W2348502455 creator A5012788495 @default.
- W2348502455 creator A5071051896 @default.
- W2348502455 date "2010-01-01" @default.
- W2348502455 modified "2023-09-24" @default.
- W2348502455 title "Solving Einstein's Puzzle with SAT" @default.
- W2348502455 hasPublicationYear "2010" @default.
- W2348502455 type Work @default.
- W2348502455 sameAs 2348502455 @default.
- W2348502455 citedByCount "2" @default.
- W2348502455 countsByYear W23485024552012 @default.
- W2348502455 countsByYear W23485024552017 @default.
- W2348502455 crossrefType "journal-article" @default.
- W2348502455 hasAuthorship W2348502455A5003990194 @default.
- W2348502455 hasAuthorship W2348502455A5012788495 @default.
- W2348502455 hasAuthorship W2348502455A5071051896 @default.
- W2348502455 hasConcept C121332964 @default.
- W2348502455 hasConcept C146846114 @default.
- W2348502455 hasConcept C37914503 @default.
- W2348502455 hasConcept C41008148 @default.
- W2348502455 hasConceptScore W2348502455C121332964 @default.
- W2348502455 hasConceptScore W2348502455C146846114 @default.
- W2348502455 hasConceptScore W2348502455C37914503 @default.
- W2348502455 hasConceptScore W2348502455C41008148 @default.
- W2348502455 hasIssue "5" @default.
- W2348502455 hasLocation W23485024551 @default.
- W2348502455 hasOpenAccess W2348502455 @default.
- W2348502455 hasPrimaryLocation W23485024551 @default.
- W2348502455 hasRelatedWork W1481930155 @default.
- W2348502455 hasRelatedWork W1581142181 @default.
- W2348502455 hasRelatedWork W1592963416 @default.
- W2348502455 hasRelatedWork W170245869 @default.
- W2348502455 hasRelatedWork W1942651816 @default.
- W2348502455 hasRelatedWork W1970903477 @default.
- W2348502455 hasRelatedWork W1984883720 @default.
- W2348502455 hasRelatedWork W1990016477 @default.
- W2348502455 hasRelatedWork W1990083896 @default.
- W2348502455 hasRelatedWork W2081058391 @default.
- W2348502455 hasRelatedWork W2100699693 @default.
- W2348502455 hasRelatedWork W2112598286 @default.
- W2348502455 hasRelatedWork W2118146950 @default.
- W2348502455 hasRelatedWork W2126446661 @default.
- W2348502455 hasRelatedWork W2155887940 @default.
- W2348502455 hasRelatedWork W2253476229 @default.
- W2348502455 hasRelatedWork W2405752483 @default.
- W2348502455 hasRelatedWork W2533719471 @default.
- W2348502455 hasRelatedWork W2113461762 @default.
- W2348502455 hasRelatedWork W2125027082 @default.
- W2348502455 hasVolume "37" @default.
- W2348502455 isParatext "false" @default.
- W2348502455 isRetracted "false" @default.
- W2348502455 magId "2348502455" @default.
- W2348502455 workType "article" @default.