Matches in SemOpenAlex for { <https://semopenalex.org/work/W41104307> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W41104307 abstract "A new algorithm, called IS, developed specifically for CNF SAT is presented and its complementary nature against the conventional backtrack approach (BT) is investigated. It is shown that IS runs faster on average as the number t of clauses decreases or as the number s of literals in each clause increses while BT runs faster as t increases or s decreases. Adding to this general tendency, a strong evidence is given which demonstrates that IS is actually faster than BT for a faily large and practical set of CNF predicates." @default.
- W41104307 created "2016-06-24" @default.
- W41104307 creator A5062918669 @default.
- W41104307 date "1987-01-01" @default.
- W41104307 modified "2023-10-16" @default.
- W41104307 title "Complementary Approaches to CNF Boolean Equations" @default.
- W41104307 cites W1980584633 @default.
- W41104307 cites W2005220880 @default.
- W41104307 cites W2016042296 @default.
- W41104307 cites W2028902195 @default.
- W41104307 cites W2037712946 @default.
- W41104307 cites W2055978814 @default.
- W41104307 cites W2056084417 @default.
- W41104307 cites W2061496873 @default.
- W41104307 cites W2089417393 @default.
- W41104307 cites W2095052098 @default.
- W41104307 doi "https://doi.org/10.1016/b978-0-12-386870-1.50019-8" @default.
- W41104307 hasPublicationYear "1987" @default.
- W41104307 type Work @default.
- W41104307 sameAs 41104307 @default.
- W41104307 citedByCount "4" @default.
- W41104307 crossrefType "book-chapter" @default.
- W41104307 hasAuthorship W41104307A5062918669 @default.
- W41104307 hasConcept C11413529 @default.
- W41104307 hasConcept C118615104 @default.
- W41104307 hasConcept C16221470 @default.
- W41104307 hasConcept C177264268 @default.
- W41104307 hasConcept C199360897 @default.
- W41104307 hasConcept C33923547 @default.
- W41104307 hasConcept C41008148 @default.
- W41104307 hasConcept C6943359 @default.
- W41104307 hasConcept C80444323 @default.
- W41104307 hasConceptScore W41104307C11413529 @default.
- W41104307 hasConceptScore W41104307C118615104 @default.
- W41104307 hasConceptScore W41104307C16221470 @default.
- W41104307 hasConceptScore W41104307C177264268 @default.
- W41104307 hasConceptScore W41104307C199360897 @default.
- W41104307 hasConceptScore W41104307C33923547 @default.
- W41104307 hasConceptScore W41104307C41008148 @default.
- W41104307 hasConceptScore W41104307C6943359 @default.
- W41104307 hasConceptScore W41104307C80444323 @default.
- W41104307 hasLocation W411043071 @default.
- W41104307 hasOpenAccess W41104307 @default.
- W41104307 hasPrimaryLocation W411043071 @default.
- W41104307 hasRelatedWork W1491702378 @default.
- W41104307 hasRelatedWork W1513754266 @default.
- W41104307 hasRelatedWork W1597271110 @default.
- W41104307 hasRelatedWork W1984659874 @default.
- W41104307 hasRelatedWork W2021305476 @default.
- W41104307 hasRelatedWork W2026105979 @default.
- W41104307 hasRelatedWork W2401402817 @default.
- W41104307 hasRelatedWork W2593703867 @default.
- W41104307 hasRelatedWork W2606468876 @default.
- W41104307 hasRelatedWork W2610557664 @default.
- W41104307 hasRelatedWork W269572962 @default.
- W41104307 hasRelatedWork W2787006615 @default.
- W41104307 hasRelatedWork W2901212285 @default.
- W41104307 hasRelatedWork W2949523893 @default.
- W41104307 hasRelatedWork W2951063685 @default.
- W41104307 hasRelatedWork W2951904420 @default.
- W41104307 hasRelatedWork W3157083420 @default.
- W41104307 hasRelatedWork W77556979 @default.
- W41104307 hasRelatedWork W2307008279 @default.
- W41104307 hasRelatedWork W2611918466 @default.
- W41104307 isParatext "false" @default.
- W41104307 isRetracted "false" @default.
- W41104307 magId "41104307" @default.
- W41104307 workType "book-chapter" @default.