Art

J-GLOBAL ID：202002221927021604   Reference number：20A2258775

A Circuit-Level Amoeba-Inspired SAT Solver

回路レベルのアメーバにヒントを得たSATソルバ【JST・京大機械翻訳】

Author (4)： Takeuchi Naoki (Institute of Advanced Sciences, Yokohama National University, Yokohama, Japan) ,  Aono Masashi (Faculty of Environment and Information Studies, Keio University, Fujisawa, Japan) ,  Hara-Azumi Yuko (School of Engineering, Tokyo Institute of Technology, Tokyo, Japan) ,  Ayala Christopher L. (Institute of Advanced Sciences, Yokohama National University, Yokohama, Japan)
Material： IEEE Transactions on Circuits and Systems 2: Express Briefs  (IEEE Trans Circuits Syst 2 Express Briefs)
Volume： 67  Issue： 10  Page： 2139-2143  Publication year： 2020 
JST Material Number： W0347A  ISSN： 1549-7747  CODEN： ITCSFK  Document type： Article
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)

Abstract/Point： AmbSAT (or AmoebaSAT) is a bio...

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

Thesaurus term： simulation ,  interchangeability ,  clock ,  combinatorial analysis ,  hardware ,  microprocessor ,  circuit model ,  local search method ,  Numerical Simulation ,  *solver ,  *Amoeba ,  time measuring instrument ,  *microorganism ,  *protozoa ,  *Sarcodina ,  *Rhizopoda
Semi thesaurus term： *amoeba ,  探索性能 , 【Automatic Indexing@JST】

JST classification (1)： Pattern recognition  (JE07000S)

Terms in the title (4)： アメーバ ,  ヒント ,  SAT ,  ソルバ