Art

J-GLOBAL ID：202002212944288671   Reference number：20A0930902

Research advances in the solving methods of satisfiability modulo theories based on first-order logic

一次論理に基づく充足可能解法の研究【JST・京大機械翻訳】

Author (4)： Zhang Jianmin (国防科技大学計算机学院,湖南 長沙,410073) ,  Li Tiejun (国防科技大学計算机学院,湖南 長沙,410073) ,  Ma Kefan (国防科技大学計算机学院,湖南 長沙,410073) ,  Xiao Liquan (国防科技大学計算机学院,湖南 長沙,410073)
Material： Jisuanji Gongcheng Yukexue
Volume： 41  Issue： 12  Page： 2119-2126  Publication year： 2019 
JST Material Number： C2938A  ISSN： 1007-130X  Document type： Article
Article type： 原著論文  Country of issue： China (CHN)  Language： CHINESE (ZH)

Thesaurus term： propositional logic ,  computational complexity ,  real time processing ,  hardware ,  program verification ,  mode theory ,  *first order logic
Semi thesaurus term： モデリング言語 , 【Automatic Indexing@JST】

JST classification (2)： Numerical computation  (JE02000J) ,  CAD,CAM  (JE10000A)

Terms in the title (4)： 論理 ,  充足 ,  解法 ,  研究