A Continuous-time Dynamical System Solving the Satisfiability Problem

A Continuous-time Dynamical System Solving the Satisfiability Problem
复制标题

解决可满足性问题的连续时间动态系统

DOI:
10.11188/seisankenkyu.72.117
复制
发表时间:
2020
期刊:
SEISAN KENKYU
影响因子:
--
通讯作者:
山下 洋史
山下 洋史
中科院分区:
--
文献类型:
--
作者:
Qingliang Kong;Momoko Kitaoka;Rie Wakabayashi;Noriho Kamiya;Masahiro Goto;山下 洋史

文献摘要

参考文献

相似文献

DOI: 10.1109/tvlsi.2017.2754192
发表时间: 2016-06
影响因子: 2.8
作者:
Xunzhao Yin;B. Sedighi;M. Varga;M. Ercsey-Ravasz;Z. Toroczkai;X. Hu
通讯作者: Xunzhao Yin;B. Sedighi;M. Varga;M. Ercsey-Ravasz;Z. Toroczkai;X. Hu
DOI: 10.1038/s41467-018-07327-2
发表时间: 2018-11-19
影响因子: 16.6
作者:
Molnár B;Molnár F;Varga M;Toroczkai Z;Ercsey-Ravasz M
通讯作者: Ercsey-Ravasz M
DOI: 10.1038/nphys2105
发表时间: 2011-12-01
期刊: NATURE PHYSICS
影响因子: 19.6
作者:
Ercsey-Ravasz, Maria;Toroczkai, Zoltan
通讯作者: Toroczkai, Zoltan
DOI: 10.1126/science.aah4243
发表时间: 2016-11-04
期刊: SCIENCE
影响因子: 56.9
作者:
Inagaki, Takahiro;Haribara, Yoshitaka;Takesue, Hiroki
通讯作者: Takesue, Hiroki