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