Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899157907> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W2899157907 created "2018-11-09" @default.
- W2899157907 creator A5076523933 @default.
- W2899157907 date "2017-01-01" @default.
- W2899157907 modified "2023-09-23" @default.
- W2899157907 title "Resolution and Clause-Learning with Restarts for Signed CNF Formulas." @default.
- W2899157907 cites W2035493071 @default.
- W2899157907 cites W204808196 @default.
- W2899157907 cites W2148818117 @default.
- W2899157907 cites W2171790376 @default.
- W2899157907 cites W2405978157 @default.
- W2899157907 hasPublicationYear "2017" @default.
- W2899157907 type Work @default.
- W2899157907 sameAs 2899157907 @default.
- W2899157907 citedByCount "0" @default.
- W2899157907 crossrefType "journal-article" @default.
- W2899157907 hasAuthorship W2899157907A5076523933 @default.
- W2899157907 hasConcept C138268822 @default.
- W2899157907 hasConcept C154945302 @default.
- W2899157907 hasConcept C33923547 @default.
- W2899157907 hasConcept C41008148 @default.
- W2899157907 hasConceptScore W2899157907C138268822 @default.
- W2899157907 hasConceptScore W2899157907C154945302 @default.
- W2899157907 hasConceptScore W2899157907C33923547 @default.
- W2899157907 hasConceptScore W2899157907C41008148 @default.
- W2899157907 hasLocation W28991579071 @default.
- W2899157907 hasOpenAccess W2899157907 @default.
- W2899157907 hasPrimaryLocation W28991579071 @default.
- W2899157907 hasRelatedWork W136158981 @default.
- W2899157907 hasRelatedWork W1497851303 @default.
- W2899157907 hasRelatedWork W1513176853 @default.
- W2899157907 hasRelatedWork W1562832747 @default.
- W2899157907 hasRelatedWork W1600869845 @default.
- W2899157907 hasRelatedWork W1656268799 @default.
- W2899157907 hasRelatedWork W1839246176 @default.
- W2899157907 hasRelatedWork W1996333228 @default.
- W2899157907 hasRelatedWork W203799144 @default.
- W2899157907 hasRelatedWork W2143134170 @default.
- W2899157907 hasRelatedWork W2149441048 @default.
- W2899157907 hasRelatedWork W2212515300 @default.
- W2899157907 hasRelatedWork W2394349251 @default.
- W2899157907 hasRelatedWork W2571529550 @default.
- W2899157907 hasRelatedWork W2715941832 @default.
- W2899157907 hasRelatedWork W2950819262 @default.
- W2899157907 hasRelatedWork W2951564471 @default.
- W2899157907 hasRelatedWork W2952809545 @default.
- W2899157907 hasRelatedWork W69592080 @default.
- W2899157907 hasRelatedWork W1575217988 @default.
- W2899157907 hasVolume "4" @default.
- W2899157907 isParatext "false" @default.
- W2899157907 isRetracted "false" @default.
- W2899157907 magId "2899157907" @default.
- W2899157907 workType "article" @default.