Matches in SemOpenAlex for { <https://semopenalex.org/work/W1598054144> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1598054144 endingPage "68" @default.
- W1598054144 startingPage "53" @default.
- W1598054144 created "2016-06-24" @default.
- W1598054144 creator A5056732712 @default.
- W1598054144 creator A5068222606 @default.
- W1598054144 creator A5069583951 @default.
- W1598054144 date "2004-01-01" @default.
- W1598054144 modified "2023-10-14" @default.
- W1598054144 title "A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation" @default.
- W1598054144 cites W1511155470 @default.
- W1598054144 cites W1543889792 @default.
- W1598054144 cites W2156708389 @default.
- W1598054144 doi "https://doi.org/10.1007/978-3-540-24605-3_5" @default.
- W1598054144 hasPublicationYear "2004" @default.
- W1598054144 type Work @default.
- W1598054144 sameAs 1598054144 @default.
- W1598054144 citedByCount "12" @default.
- W1598054144 countsByYear W15980541442012 @default.
- W1598054144 countsByYear W15980541442013 @default.
- W1598054144 countsByYear W15980541442019 @default.
- W1598054144 countsByYear W15980541442021 @default.
- W1598054144 crossrefType "book-chapter" @default.
- W1598054144 hasAuthorship W1598054144A5056732712 @default.
- W1598054144 hasAuthorship W1598054144A5068222606 @default.
- W1598054144 hasAuthorship W1598054144A5069583951 @default.
- W1598054144 hasConcept C11413529 @default.
- W1598054144 hasConcept C125583679 @default.
- W1598054144 hasConcept C12707504 @default.
- W1598054144 hasConcept C134652429 @default.
- W1598054144 hasConcept C135320971 @default.
- W1598054144 hasConcept C143936061 @default.
- W1598054144 hasConcept C151730666 @default.
- W1598054144 hasConcept C19889080 @default.
- W1598054144 hasConcept C199360897 @default.
- W1598054144 hasConcept C2778770139 @default.
- W1598054144 hasConcept C2779343474 @default.
- W1598054144 hasConcept C41008148 @default.
- W1598054144 hasConcept C6943359 @default.
- W1598054144 hasConcept C76155785 @default.
- W1598054144 hasConcept C80444323 @default.
- W1598054144 hasConcept C86803240 @default.
- W1598054144 hasConceptScore W1598054144C11413529 @default.
- W1598054144 hasConceptScore W1598054144C125583679 @default.
- W1598054144 hasConceptScore W1598054144C12707504 @default.
- W1598054144 hasConceptScore W1598054144C134652429 @default.
- W1598054144 hasConceptScore W1598054144C135320971 @default.
- W1598054144 hasConceptScore W1598054144C143936061 @default.
- W1598054144 hasConceptScore W1598054144C151730666 @default.
- W1598054144 hasConceptScore W1598054144C19889080 @default.
- W1598054144 hasConceptScore W1598054144C199360897 @default.
- W1598054144 hasConceptScore W1598054144C2778770139 @default.
- W1598054144 hasConceptScore W1598054144C2779343474 @default.
- W1598054144 hasConceptScore W1598054144C41008148 @default.
- W1598054144 hasConceptScore W1598054144C6943359 @default.
- W1598054144 hasConceptScore W1598054144C76155785 @default.
- W1598054144 hasConceptScore W1598054144C80444323 @default.
- W1598054144 hasConceptScore W1598054144C86803240 @default.
- W1598054144 hasLocation W15980541441 @default.
- W1598054144 hasOpenAccess W1598054144 @default.
- W1598054144 hasPrimaryLocation W15980541441 @default.
- W1598054144 hasRelatedWork W1030314657 @default.
- W1598054144 hasRelatedWork W1514095116 @default.
- W1598054144 hasRelatedWork W1598054144 @default.
- W1598054144 hasRelatedWork W181880326 @default.
- W1598054144 hasRelatedWork W2127309711 @default.
- W1598054144 hasRelatedWork W2131367934 @default.
- W1598054144 hasRelatedWork W328075368 @default.
- W1598054144 hasRelatedWork W4235773363 @default.
- W1598054144 hasRelatedWork W4294065234 @default.
- W1598054144 hasRelatedWork W4313124718 @default.
- W1598054144 isParatext "false" @default.
- W1598054144 isRetracted "false" @default.
- W1598054144 magId "1598054144" @default.
- W1598054144 workType "book-chapter" @default.