文献

J-GLOBAL ID：201202232979107787   整理番号：12A1613512

C-Nets(因果関係ネット)に対するSMT(充足可能性モジュロ理論)ベース発見アルゴリズム

An SMT-Based Discovery Algorithm for C-Nets

著者 (2件)： SOLE Marc (UPC) ,  CARMONA Josep (UPC)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7347  ページ： 51-71  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (8件)： NETs ,  因果関係 ,  ネット ,  SMT ,  充足可能性 ,  理論 ,  発見 ,  アルゴリズム