Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065798393> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2065798393 endingPage "78" @default.
- W2065798393 startingPage "61" @default.
- W2065798393 abstract "A proof search procedure for propositional non-clausal resolution based on a new weighting strategy which utilizes search methods for propositional satisfiability (SAT solvers) and stochastic local search techniques for constructing counter-models is described." @default.
- W2065798393 created "2016-06-24" @default.
- W2065798393 creator A5026813811 @default.
- W2065798393 creator A5074550143 @default.
- W2065798393 date "2008-03-01" @default.
- W2065798393 modified "2023-09-26" @default.
- W2065798393 title "Weighting strategy for non-clausal resolution" @default.
- W2065798393 cites W2017239856 @default.
- W2065798393 cites W2088350978 @default.
- W2065798393 cites W2488749545 @default.
- W2065798393 doi "https://doi.org/10.1080/09528130701475617" @default.
- W2065798393 hasPublicationYear "2008" @default.
- W2065798393 type Work @default.
- W2065798393 sameAs 2065798393 @default.
- W2065798393 citedByCount "1" @default.
- W2065798393 countsByYear W20657983932012 @default.
- W2065798393 crossrefType "journal-article" @default.
- W2065798393 hasAuthorship W2065798393A5026813811 @default.
- W2065798393 hasAuthorship W2065798393A5074550143 @default.
- W2065798393 hasConcept C102993220 @default.
- W2065798393 hasConcept C11413529 @default.
- W2065798393 hasConcept C126838900 @default.
- W2065798393 hasConcept C138268822 @default.
- W2065798393 hasConcept C14523651 @default.
- W2065798393 hasConcept C154945302 @default.
- W2065798393 hasConcept C168773769 @default.
- W2065798393 hasConcept C183115368 @default.
- W2065798393 hasConcept C199360897 @default.
- W2065798393 hasConcept C33203268 @default.
- W2065798393 hasConcept C41008148 @default.
- W2065798393 hasConcept C69562738 @default.
- W2065798393 hasConcept C71924100 @default.
- W2065798393 hasConcept C74640108 @default.
- W2065798393 hasConcept C80444323 @default.
- W2065798393 hasConceptScore W2065798393C102993220 @default.
- W2065798393 hasConceptScore W2065798393C11413529 @default.
- W2065798393 hasConceptScore W2065798393C126838900 @default.
- W2065798393 hasConceptScore W2065798393C138268822 @default.
- W2065798393 hasConceptScore W2065798393C14523651 @default.
- W2065798393 hasConceptScore W2065798393C154945302 @default.
- W2065798393 hasConceptScore W2065798393C168773769 @default.
- W2065798393 hasConceptScore W2065798393C183115368 @default.
- W2065798393 hasConceptScore W2065798393C199360897 @default.
- W2065798393 hasConceptScore W2065798393C33203268 @default.
- W2065798393 hasConceptScore W2065798393C41008148 @default.
- W2065798393 hasConceptScore W2065798393C69562738 @default.
- W2065798393 hasConceptScore W2065798393C71924100 @default.
- W2065798393 hasConceptScore W2065798393C74640108 @default.
- W2065798393 hasConceptScore W2065798393C80444323 @default.
- W2065798393 hasIssue "1" @default.
- W2065798393 hasLocation W20657983931 @default.
- W2065798393 hasOpenAccess W2065798393 @default.
- W2065798393 hasPrimaryLocation W20657983931 @default.
- W2065798393 hasRelatedWork W1492881020 @default.
- W2065798393 hasRelatedWork W1504884225 @default.
- W2065798393 hasRelatedWork W1519524620 @default.
- W2065798393 hasRelatedWork W1986931182 @default.
- W2065798393 hasRelatedWork W2022840750 @default.
- W2065798393 hasRelatedWork W2065798393 @default.
- W2065798393 hasRelatedWork W2168993471 @default.
- W2065798393 hasRelatedWork W2346511151 @default.
- W2065798393 hasRelatedWork W4298206169 @default.
- W2065798393 hasRelatedWork W73861168 @default.
- W2065798393 hasVolume "20" @default.
- W2065798393 isParatext "false" @default.
- W2065798393 isRetracted "false" @default.
- W2065798393 magId "2065798393" @default.
- W2065798393 workType "article" @default.