Matches in SemOpenAlex for { <https://semopenalex.org/work/W2162602801> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2162602801 abstract "In this paper, we investigate the Probabilistic Satisfiability Problem, and its relation with the classical Satisfiability Problem, looking for a possible polynomial-time reduction. For this, we present an Atomic Normal Form to the probabilistic satisfiability problem and then we define a Probabilistic Entailment relation, showing its inherent properties. At the end, we enunciate and refute a conjecture that could lead to the desired polynomial-time reduction." @default.
- W2162602801 created "2016-06-24" @default.
- W2162602801 creator A5024395125 @default.
- W2162602801 creator A5085303086 @default.
- W2162602801 date "2010-01-01" @default.
- W2162602801 modified "2023-09-25" @default.
- W2162602801 title "A Refuted Conjecture on Probabilistic Satisfiability" @default.
- W2162602801 cites W2486886792 @default.
- W2162602801 cites W2914728526 @default.
- W2162602801 cites W2914795094 @default.
- W2162602801 cites W4232066618 @default.
- W2162602801 doi "https://doi.org/10.1007/978-3-642-16138-4_30" @default.
- W2162602801 hasPublicationYear "2010" @default.
- W2162602801 type Work @default.
- W2162602801 sameAs 2162602801 @default.
- W2162602801 citedByCount "1" @default.
- W2162602801 countsByYear W21626028012015 @default.
- W2162602801 crossrefType "book-chapter" @default.
- W2162602801 hasAuthorship W2162602801A5024395125 @default.
- W2162602801 hasAuthorship W2162602801A5085303086 @default.
- W2162602801 hasConcept C111335779 @default.
- W2162602801 hasConcept C11413529 @default.
- W2162602801 hasConcept C118615104 @default.
- W2162602801 hasConcept C124101348 @default.
- W2162602801 hasConcept C134306372 @default.
- W2162602801 hasConcept C154945302 @default.
- W2162602801 hasConcept C168773769 @default.
- W2162602801 hasConcept C24404364 @default.
- W2162602801 hasConcept C2524010 @default.
- W2162602801 hasConcept C25343380 @default.
- W2162602801 hasConcept C2780990831 @default.
- W2162602801 hasConcept C311688 @default.
- W2162602801 hasConcept C33923547 @default.
- W2162602801 hasConcept C41008148 @default.
- W2162602801 hasConcept C49937458 @default.
- W2162602801 hasConcept C6943359 @default.
- W2162602801 hasConcept C80444323 @default.
- W2162602801 hasConcept C90119067 @default.
- W2162602801 hasConceptScore W2162602801C111335779 @default.
- W2162602801 hasConceptScore W2162602801C11413529 @default.
- W2162602801 hasConceptScore W2162602801C118615104 @default.
- W2162602801 hasConceptScore W2162602801C124101348 @default.
- W2162602801 hasConceptScore W2162602801C134306372 @default.
- W2162602801 hasConceptScore W2162602801C154945302 @default.
- W2162602801 hasConceptScore W2162602801C168773769 @default.
- W2162602801 hasConceptScore W2162602801C24404364 @default.
- W2162602801 hasConceptScore W2162602801C2524010 @default.
- W2162602801 hasConceptScore W2162602801C25343380 @default.
- W2162602801 hasConceptScore W2162602801C2780990831 @default.
- W2162602801 hasConceptScore W2162602801C311688 @default.
- W2162602801 hasConceptScore W2162602801C33923547 @default.
- W2162602801 hasConceptScore W2162602801C41008148 @default.
- W2162602801 hasConceptScore W2162602801C49937458 @default.
- W2162602801 hasConceptScore W2162602801C6943359 @default.
- W2162602801 hasConceptScore W2162602801C80444323 @default.
- W2162602801 hasConceptScore W2162602801C90119067 @default.
- W2162602801 hasLocation W21626028011 @default.
- W2162602801 hasOpenAccess W2162602801 @default.
- W2162602801 hasPrimaryLocation W21626028011 @default.
- W2162602801 hasRelatedWork W1565822158 @default.
- W2162602801 hasRelatedWork W1586373291 @default.
- W2162602801 hasRelatedWork W1599423189 @default.
- W2162602801 hasRelatedWork W1877320356 @default.
- W2162602801 hasRelatedWork W1979442476 @default.
- W2162602801 hasRelatedWork W1988639350 @default.
- W2162602801 hasRelatedWork W2027602125 @default.
- W2162602801 hasRelatedWork W2032626843 @default.
- W2162602801 hasRelatedWork W2037639986 @default.
- W2162602801 hasRelatedWork W2076399409 @default.
- W2162602801 hasRelatedWork W2091345559 @default.
- W2162602801 hasRelatedWork W2091470957 @default.
- W2162602801 hasRelatedWork W2130399244 @default.
- W2162602801 hasRelatedWork W2136708886 @default.
- W2162602801 hasRelatedWork W2149632978 @default.
- W2162602801 hasRelatedWork W2162803372 @default.
- W2162602801 hasRelatedWork W238833067 @default.
- W2162602801 hasRelatedWork W2534272306 @default.
- W2162602801 hasRelatedWork W3099252540 @default.
- W2162602801 hasRelatedWork W3165398732 @default.
- W2162602801 isParatext "false" @default.
- W2162602801 isRetracted "false" @default.
- W2162602801 magId "2162602801" @default.
- W2162602801 workType "book-chapter" @default.