J-GLOBALについて

ENGLISH

文字サイズ
  • 小
  • 大

文献の詳細情報

文献J-GLOBAL ID:200902131028430077整理番号:99A0663852

Improving the Performance of Discrete Lagrange-Multiplier Search for Solving Hard SAT Problems.

困難なSAT(充足可能性)問題を解くための離散Lagrange乗数探索の性能改善

著者:SHANG Y(Univ. Missouri at Columbia, MO, USA)、WAH B W(Univ. Illinois at Urbana‐Champaign, IL, USA)
資料名:Proc IEEE Int Conf Tools Artif Intell 巻:10th ページ:176-183
発行年:1998年
  • J-GLOBALホームを見る
  • J-GLOBALをブックマークする

J-GLOBALでつながる、ひろがる、ひらめく

J-GLOBALについて

情報がつながる

J-GLOBALでは研究開発でキーとなる情報をつないでいます。例えば、文献と特許を人(著者・発明者)でつなぎ、そのつながりから次々と情報を取り出せます。
新たな気付きや、今まで見つからなかった情報の発見に役立ちます。

発想がひろがる

着目した情報が、連携する外部サイトリンクや内容が近い情報が見つかる関連検索でひろがります。
異分野の知識獲得や専門分野を超えた発想を支援します。

アイディアがひらめく

つながる・ひろがるの繰り返しから、思わぬ問題解決のヒントや新たなアイディアがひらめくキッカケを提供します。