Matches in SemOpenAlex for { <https://semopenalex.org/work/W1655848894> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1655848894 abstract "Satisfiability degree measures the extent of a propositional formula to be true. Existing propositional matrix search algorithm computes the satisfiability degree of a propositional formula without considering the dependencies between the propositional atoms. There may exist dependencies between the propositional atoms and if exists it can be used to simplify the computation of propositional matrix search algorithm. In the proposed dependency propositional matrix search algorithm the dependencies are represented as a dependency matrix. The truth detector phase of dependency propositional matrix search algorithm considers the dependency matrix to compute the satisfiability degree of a propositional formula. Experimental results show that the proposed algorithm is effective than the existing algorithm if there are more dependencies between the propositional atoms." @default.
- W1655848894 created "2016-06-24" @default.
- W1655848894 creator A5086535128 @default.
- W1655848894 date "2015-02-01" @default.
- W1655848894 modified "2023-09-27" @default.
- W1655848894 title "Computation of satisfiability degree of a propositional formula using dependency matrix" @default.
- W1655848894 cites W1984820433 @default.
- W1655848894 cites W2032467893 @default.
- W1655848894 cites W2037618078 @default.
- W1655848894 cites W2087588854 @default.
- W1655848894 cites W2102980637 @default.
- W1655848894 cites W2106159358 @default.
- W1655848894 cites W2146659604 @default.
- W1655848894 doi "https://doi.org/10.1109/icsns.2015.7292410" @default.
- W1655848894 hasPublicationYear "2015" @default.
- W1655848894 type Work @default.
- W1655848894 sameAs 1655848894 @default.
- W1655848894 citedByCount "0" @default.
- W1655848894 crossrefType "proceedings-article" @default.
- W1655848894 hasAuthorship W1655848894A5086535128 @default.
- W1655848894 hasConcept C102993220 @default.
- W1655848894 hasConcept C106487976 @default.
- W1655848894 hasConcept C11413529 @default.
- W1655848894 hasConcept C118615104 @default.
- W1655848894 hasConcept C12707504 @default.
- W1655848894 hasConcept C134652429 @default.
- W1655848894 hasConcept C143936061 @default.
- W1655848894 hasConcept C14523651 @default.
- W1655848894 hasConcept C154945302 @default.
- W1655848894 hasConcept C159985019 @default.
- W1655848894 hasConcept C168773769 @default.
- W1655848894 hasConcept C192562407 @default.
- W1655848894 hasConcept C19768560 @default.
- W1655848894 hasConcept C33203268 @default.
- W1655848894 hasConcept C33923547 @default.
- W1655848894 hasConcept C41008148 @default.
- W1655848894 hasConcept C69562738 @default.
- W1655848894 hasConcept C74640108 @default.
- W1655848894 hasConcept C76155785 @default.
- W1655848894 hasConcept C80444323 @default.
- W1655848894 hasConceptScore W1655848894C102993220 @default.
- W1655848894 hasConceptScore W1655848894C106487976 @default.
- W1655848894 hasConceptScore W1655848894C11413529 @default.
- W1655848894 hasConceptScore W1655848894C118615104 @default.
- W1655848894 hasConceptScore W1655848894C12707504 @default.
- W1655848894 hasConceptScore W1655848894C134652429 @default.
- W1655848894 hasConceptScore W1655848894C143936061 @default.
- W1655848894 hasConceptScore W1655848894C14523651 @default.
- W1655848894 hasConceptScore W1655848894C154945302 @default.
- W1655848894 hasConceptScore W1655848894C159985019 @default.
- W1655848894 hasConceptScore W1655848894C168773769 @default.
- W1655848894 hasConceptScore W1655848894C192562407 @default.
- W1655848894 hasConceptScore W1655848894C19768560 @default.
- W1655848894 hasConceptScore W1655848894C33203268 @default.
- W1655848894 hasConceptScore W1655848894C33923547 @default.
- W1655848894 hasConceptScore W1655848894C41008148 @default.
- W1655848894 hasConceptScore W1655848894C69562738 @default.
- W1655848894 hasConceptScore W1655848894C74640108 @default.
- W1655848894 hasConceptScore W1655848894C76155785 @default.
- W1655848894 hasConceptScore W1655848894C80444323 @default.
- W1655848894 hasLocation W16558488941 @default.
- W1655848894 hasOpenAccess W1655848894 @default.
- W1655848894 hasPrimaryLocation W16558488941 @default.
- W1655848894 hasRelatedWork W1528441743 @default.
- W1655848894 hasRelatedWork W1553343465 @default.
- W1655848894 hasRelatedWork W1577096194 @default.
- W1655848894 hasRelatedWork W1946987616 @default.
- W1655848894 hasRelatedWork W1983572867 @default.
- W1655848894 hasRelatedWork W2017027749 @default.
- W1655848894 hasRelatedWork W2076137686 @default.
- W1655848894 hasRelatedWork W2156327719 @default.
- W1655848894 hasRelatedWork W2293553724 @default.
- W1655848894 hasRelatedWork W2295813336 @default.
- W1655848894 hasRelatedWork W2296658079 @default.
- W1655848894 hasRelatedWork W2401148164 @default.
- W1655848894 hasRelatedWork W2491947963 @default.
- W1655848894 hasRelatedWork W2926435172 @default.
- W1655848894 hasRelatedWork W2951284317 @default.
- W1655848894 hasRelatedWork W2951753454 @default.
- W1655848894 hasRelatedWork W2964046005 @default.
- W1655848894 hasRelatedWork W2964201613 @default.
- W1655848894 hasRelatedWork W3099252540 @default.
- W1655848894 hasRelatedWork W3137545899 @default.
- W1655848894 isParatext "false" @default.
- W1655848894 isRetracted "false" @default.
- W1655848894 magId "1655848894" @default.
- W1655848894 workType "article" @default.