Matches in SemOpenAlex for { <https://semopenalex.org/work/W3147542275> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W3147542275 endingPage "254" @default.
- W3147542275 startingPage "247" @default.
- W3147542275 abstract "布尔可满足性(坐) 是在计算机科学，人工智能，和运筹学的一个著名问题。这篇论文集中于类似于图着色问题和其它的模型 RB 结构的可满足性问题。我们基于模型 RB 结构的描述建议一个翻译方法和三个有效完全的容纳的解决的算法。我们与独占的集合和相对集合把子句翻译成一张图。为了减少，寻找深度，我们在图用顶点重量和派系决定搜索顺序。结果比最好在众多的模型 RB 基准容纳解答者的证明我们的算法是更有效的，特别在那些大基准例子。" @default.
- W3147542275 created "2021-04-13" @default.
- W3147542275 creator A5046277556 @default.
- W3147542275 creator A5056258207 @default.
- W3147542275 creator A5062827516 @default.
- W3147542275 creator A5065154121 @default.
- W3147542275 creator A5075442592 @default.
- W3147542275 creator A5083507580 @default.
- W3147542275 date "2013-01-01" @default.
- W3147542275 modified "2023-09-24" @default.
- W3147542275 title "Complete Boolean Satisfiability Solving Algorithms Based on Local Search" @default.
- W3147542275 hasPublicationYear "2013" @default.
- W3147542275 type Work @default.
- W3147542275 sameAs 3147542275 @default.
- W3147542275 citedByCount "0" @default.
- W3147542275 crossrefType "journal-article" @default.
- W3147542275 hasAuthorship W3147542275A5046277556 @default.
- W3147542275 hasAuthorship W3147542275A5056258207 @default.
- W3147542275 hasAuthorship W3147542275A5062827516 @default.
- W3147542275 hasAuthorship W3147542275A5065154121 @default.
- W3147542275 hasAuthorship W3147542275A5075442592 @default.
- W3147542275 hasAuthorship W3147542275A5083507580 @default.
- W3147542275 hasConcept C111797529 @default.
- W3147542275 hasConcept C11413529 @default.
- W3147542275 hasConcept C12707504 @default.
- W3147542275 hasConcept C134652429 @default.
- W3147542275 hasConcept C143936061 @default.
- W3147542275 hasConcept C168773769 @default.
- W3147542275 hasConcept C187455244 @default.
- W3147542275 hasConcept C200415742 @default.
- W3147542275 hasConcept C33923547 @default.
- W3147542275 hasConcept C41008148 @default.
- W3147542275 hasConcept C6943359 @default.
- W3147542275 hasConcept C76155785 @default.
- W3147542275 hasConcept C80444323 @default.
- W3147542275 hasConceptScore W3147542275C111797529 @default.
- W3147542275 hasConceptScore W3147542275C11413529 @default.
- W3147542275 hasConceptScore W3147542275C12707504 @default.
- W3147542275 hasConceptScore W3147542275C134652429 @default.
- W3147542275 hasConceptScore W3147542275C143936061 @default.
- W3147542275 hasConceptScore W3147542275C168773769 @default.
- W3147542275 hasConceptScore W3147542275C187455244 @default.
- W3147542275 hasConceptScore W3147542275C200415742 @default.
- W3147542275 hasConceptScore W3147542275C33923547 @default.
- W3147542275 hasConceptScore W3147542275C41008148 @default.
- W3147542275 hasConceptScore W3147542275C6943359 @default.
- W3147542275 hasConceptScore W3147542275C76155785 @default.
- W3147542275 hasConceptScore W3147542275C80444323 @default.
- W3147542275 hasIssue "2" @default.
- W3147542275 hasLocation W31475422751 @default.
- W3147542275 hasOpenAccess W3147542275 @default.
- W3147542275 hasPrimaryLocation W31475422751 @default.
- W3147542275 hasRelatedWork W1492439953 @default.
- W3147542275 hasRelatedWork W1501879065 @default.
- W3147542275 hasRelatedWork W1518713730 @default.
- W3147542275 hasRelatedWork W1568918982 @default.
- W3147542275 hasRelatedWork W1579248039 @default.
- W3147542275 hasRelatedWork W2005254071 @default.
- W3147542275 hasRelatedWork W2026355757 @default.
- W3147542275 hasRelatedWork W2030228801 @default.
- W3147542275 hasRelatedWork W2047591646 @default.
- W3147542275 hasRelatedWork W2067918506 @default.
- W3147542275 hasRelatedWork W2085380335 @default.
- W3147542275 hasRelatedWork W2094668451 @default.
- W3147542275 hasRelatedWork W2102980637 @default.
- W3147542275 hasRelatedWork W2141303758 @default.
- W3147542275 hasRelatedWork W217540047 @default.
- W3147542275 hasRelatedWork W299694663 @default.
- W3147542275 hasRelatedWork W3148125773 @default.
- W3147542275 hasRelatedWork W3198794542 @default.
- W3147542275 hasRelatedWork W34708619 @default.
- W3147542275 hasRelatedWork W2826946622 @default.
- W3147542275 isParatext "false" @default.
- W3147542275 isRetracted "false" @default.
- W3147542275 magId "3147542275" @default.
- W3147542275 workType "article" @default.