Art

J-GLOBAL ID：202002251352959935   Reference number：20A0745325

Comparing Integer Linear Programming to SAT-Solving for Hard Problems in Computational and Systems Biology

計算およびシステム生物学における困難な問題のための整数線形計画法とSAT解法の比較【JST・京大機械翻訳】

Author (4)： Brown Hannah (Department of Computer Science, University of California, Davis, CA, USA) ,  Zuo Lei (Department of Computer Science, University of California, Davis, CA, USA) ,  Zuo Lei (Department of Computer Science, The University of Hong Kong, Pok Fu Lam, Hong Kong, China) ,  Gusfield Dan (Department of Computer Science, University of California, Davis, CA, USA)
Material： Lecture Notes in Computer Science  (LNBI)
Volume： 12099  Page： 63-76  Publication year： 2020 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Article type： 原著論文  Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Abstract/Point： Abstract: It is useful to have...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A0745325&from=J-GLOBAL&jstjournalNo=H0078D") }}

Thesaurus term： *integer linear programming ,  algorithm ,  robustness ,  integer programming
Semi thesaurus term： ソルバ ,  計算生物学 ,  *システム生物学 , 【Automatic Indexing@JST】

Author keywords (3)： Integer programming ,  SAT-solving ,  Computational biology

JST classification (1)： Logic algebra  (JB03000H)

Terms in the title (6)： 計算 ,  システム生物学 ,  問題 ,  整数線形計画法 ,  SAT ,  解法