1
基于改进连续时间动态系统的模拟SAT求解器
Analog SAT solver based on improved continuous-time dynamic systems
2024年第1期 : 200-205
doi:10.19734/j.issn.1001-3695.2023.04.0189