Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569872967> ?p ?o ?g. }
- W1569872967 endingPage "329" @default.
- W1569872967 startingPage "315" @default.
- W1569872967 created "2016-06-24" @default.
- W1569872967 creator A5035075403 @default.
- W1569872967 creator A5054494612 @default.
- W1569872967 creator A5055232237 @default.
- W1569872967 creator A5059074630 @default.
- W1569872967 creator A5060192108 @default.
- W1569872967 date "2004-01-01" @default.
- W1569872967 modified "2023-09-25" @default.
- W1569872967 title "Guiding SAT Diagnosis with Tree Decompositions" @default.
- W1569872967 cites W1923495615 @default.
- W1569872967 cites W2024291212 @default.
- W1569872967 cites W2027562075 @default.
- W1569872967 cites W2034501206 @default.
- W1569872967 cites W2038264652 @default.
- W1569872967 cites W2057361103 @default.
- W1569872967 cites W2061734130 @default.
- W1569872967 cites W2070574955 @default.
- W1569872967 cites W2081414924 @default.
- W1569872967 cites W2085550081 @default.
- W1569872967 cites W2089341221 @default.
- W1569872967 cites W2142785340 @default.
- W1569872967 cites W4229840182 @default.
- W1569872967 cites W4235351245 @default.
- W1569872967 cites W4254983540 @default.
- W1569872967 doi "https://doi.org/10.1007/978-3-540-24605-3_24" @default.
- W1569872967 hasPublicationYear "2004" @default.
- W1569872967 type Work @default.
- W1569872967 sameAs 1569872967 @default.
- W1569872967 citedByCount "25" @default.
- W1569872967 countsByYear W15698729672012 @default.
- W1569872967 countsByYear W15698729672014 @default.
- W1569872967 countsByYear W15698729672015 @default.
- W1569872967 countsByYear W15698729672017 @default.
- W1569872967 countsByYear W15698729672019 @default.
- W1569872967 countsByYear W15698729672021 @default.
- W1569872967 crossrefType "book-chapter" @default.
- W1569872967 hasAuthorship W1569872967A5035075403 @default.
- W1569872967 hasAuthorship W1569872967A5054494612 @default.
- W1569872967 hasAuthorship W1569872967A5055232237 @default.
- W1569872967 hasAuthorship W1569872967A5059074630 @default.
- W1569872967 hasAuthorship W1569872967A5060192108 @default.
- W1569872967 hasConcept C100560664 @default.
- W1569872967 hasConcept C113174947 @default.
- W1569872967 hasConcept C11413529 @default.
- W1569872967 hasConcept C114614502 @default.
- W1569872967 hasConcept C118615104 @default.
- W1569872967 hasConcept C124681953 @default.
- W1569872967 hasConcept C125583679 @default.
- W1569872967 hasConcept C132525143 @default.
- W1569872967 hasConcept C132569581 @default.
- W1569872967 hasConcept C134306372 @default.
- W1569872967 hasConcept C147517495 @default.
- W1569872967 hasConcept C163797641 @default.
- W1569872967 hasConcept C168773769 @default.
- W1569872967 hasConcept C18903297 @default.
- W1569872967 hasConcept C197855036 @default.
- W1569872967 hasConcept C203776342 @default.
- W1569872967 hasConcept C207024777 @default.
- W1569872967 hasConcept C2781221856 @default.
- W1569872967 hasConcept C311688 @default.
- W1569872967 hasConcept C33923547 @default.
- W1569872967 hasConcept C34388435 @default.
- W1569872967 hasConcept C41008148 @default.
- W1569872967 hasConcept C43517604 @default.
- W1569872967 hasConcept C6943359 @default.
- W1569872967 hasConcept C70501317 @default.
- W1569872967 hasConcept C80444323 @default.
- W1569872967 hasConcept C86803240 @default.
- W1569872967 hasConceptScore W1569872967C100560664 @default.
- W1569872967 hasConceptScore W1569872967C113174947 @default.
- W1569872967 hasConceptScore W1569872967C11413529 @default.
- W1569872967 hasConceptScore W1569872967C114614502 @default.
- W1569872967 hasConceptScore W1569872967C118615104 @default.
- W1569872967 hasConceptScore W1569872967C124681953 @default.
- W1569872967 hasConceptScore W1569872967C125583679 @default.
- W1569872967 hasConceptScore W1569872967C132525143 @default.
- W1569872967 hasConceptScore W1569872967C132569581 @default.
- W1569872967 hasConceptScore W1569872967C134306372 @default.
- W1569872967 hasConceptScore W1569872967C147517495 @default.
- W1569872967 hasConceptScore W1569872967C163797641 @default.
- W1569872967 hasConceptScore W1569872967C168773769 @default.
- W1569872967 hasConceptScore W1569872967C18903297 @default.
- W1569872967 hasConceptScore W1569872967C197855036 @default.
- W1569872967 hasConceptScore W1569872967C203776342 @default.
- W1569872967 hasConceptScore W1569872967C207024777 @default.
- W1569872967 hasConceptScore W1569872967C2781221856 @default.
- W1569872967 hasConceptScore W1569872967C311688 @default.
- W1569872967 hasConceptScore W1569872967C33923547 @default.
- W1569872967 hasConceptScore W1569872967C34388435 @default.
- W1569872967 hasConceptScore W1569872967C41008148 @default.
- W1569872967 hasConceptScore W1569872967C43517604 @default.
- W1569872967 hasConceptScore W1569872967C6943359 @default.
- W1569872967 hasConceptScore W1569872967C70501317 @default.
- W1569872967 hasConceptScore W1569872967C80444323 @default.
- W1569872967 hasConceptScore W1569872967C86803240 @default.
- W1569872967 hasLocation W15698729671 @default.
- W1569872967 hasOpenAccess W1569872967 @default.
- W1569872967 hasPrimaryLocation W15698729671 @default.