Oscillator-Inspired Dynamical Systems to Solve Boolean Satisfiability

Mohammad Khairul Bashar,Zongli Lin,Nikhil Shukla

IEEE JOURNAL ON EXPLORATORY SOLID-STATE COMPUTATIONAL DEVICES AND CIRCUITS（2023）

引用 6|浏览12

关键词

Mathematical models,System dynamics,Optimization,Oscillators,Dynamical systems,Computational modeling,Minimization,Boolean satisfiability (SAT),combinatorial optimization,dynamical system,Max-not-all-equal (NAE)-SAT,oscillator

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要