文献
J-GLOBAL ID:201902218478109879
整理番号:19A2420814
不完全MAXSATと線形アルゴリズムのための局所探索によって示唆された技術:分解能の変化と解に導かれた探索【JST・京大機械翻訳】
Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search
著者 (3件):
Demirovic Emir
(University of Melbourne, Melbourne, Australia)
,
Stuckey Peter J.
(Monash University, Melbourne, Australia)
,
Stuckey Peter J.
(Data61 CSIRO, Melbourne, Australia)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
11802
ページ:
177-194
発行年:
2019年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)