About J-GLOBAL

日本語

Font size
  • A
  • A

Articleの詳細情報

ArticleJ-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 home
  • Bookmark J-GLOBAL

J-GLOBAL: Linking, Expanding and Sparking

About J-GLOBAL

Linking

J-GLOBAL links information that represents the key to research and development. For example, linking articles and patents with people (authors and inventors) enables the extraction of a sequence of information.
It’s useful for making new discoveries and uncovering new information.

Expanding

The system enables searches of similar kinds of content through linkage with external sites.
It helps you to obtain knowledge from dissimilar fields and discover concepts that cross the boundaries of specialisms.

Sparking

Through repeated linkage and expansioniteration, J-GLOBAL provides unexpected hints for problem-solving and the illumination of new ideas.