文献
J-GLOBAL ID：201202282274991081   整理番号：12A0877928

国際SAT解法コンペティション

The International SAT Solver Competitions
  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=12A0877928&from=J-GLOBAL&jstjournalNo=W1745A") }}
著者 (4件)：
JAERVISALO Matti

JAERVISALO Matti について

(Univ. Helsinki)

Univ. Helsinki について

, 
LE BERRE Daniel

LE BERRE Daniel について

(Artois Univ., FRA)

Artois Univ., FRA について

, 
ROUSSEL Olivier

ROUSSEL Olivier について

(Artois Univ., FRA)

Artois Univ., FRA について

, 
SIMON Laurent

SIMON Laurent について

(Paris-Sud Univ., FRA)

Paris-Sud Univ., FRA について


資料名：
AI Magazine  (AI Magazine)

AI Magazine について


巻： 33  号： 1  ページ： 89-94  発行年： 2012年 
JST資料番号： W1745A  ISSN： 0738-4602  資料種別： 逐次刊行物 (A)
発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
タイトルに関連する用語 (3件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
SAT

SAT について

, 
解法

解法 について

, 
コンペティション

コンペティション について


前のページに戻る

TOP

BOTTOM