Art

J-GLOBAL ID：201902210053253596   Reference number：19A2085088

Recent Advances in SAT Solvers and their Utilization Technologies.

プログラミングおよびプログラミング言語 SATソルバーの最新動向と利用技術

Author (4)： SO TAKEHIDE (神戸大 情報基盤セ) ,  BAMBARA MUTSUNORI (神戸大 情報基盤セ) ,  TAMURA NAOYUKI (神戸大 情報基盤セ) ,  NABESHIMA HIDETOMO (山梨大 大学院医学工学総合研究部)
Material： コンピュータソフトウェア  (Computer Software)
Volume： 35  Issue： 4  Page： 72-92(J-STAGE)  Publication year： 2018 
JST Material Number： Y0628A  ISSN： 0289-6540  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *satisfiability problem ,  computer programming ,  coding (signal) ,  programming language ,  *computational complexity theory ,  *multiobjective programming ,  *optimum condition ,  *Pareto optimality
Semi thesaurus term： SAT coding ,  latest trend ,  *multi-objective optimization problem

JST classification (1)： Theory of computation  (JB02000A)

Terms in the title (5)： プログラミング ,  プログラミング言語 ,  SAT ,  ソルバー ,  最新動向