標籤聚合：電腦算灋

SAT問題是第一個被證明的NP完全問題，在複雜性理論裏最重要的公開難題中扮演著重要角色，也在人工智慧、運籌學和電子設計工程等眾多領域中有基礎應用。2021年的SAT會議全球共接收了38篇論文。

論文在電子科技大學算灋與邏輯團隊老師的共同指導下完成，王正仁為論文第一作者，周毅副教授為通訊作者，肖鳴宇教授和BakhKhoussainov教授分別為第三和第四作者。電子科技大學算灋與邏輯團隊是由紐西蘭院士BakhKhoussainov教授

近日，上海交通大學電子資訊與電氣工程學院電腦系長聘教軌副教授DominikScheder在理論電腦領域中最重要的NP完全問題k-SAT問題上的研究取得了重大進展——得到了目前為止最好的NP完全問題求解時間複雜度界。DominikSchede

羅笑玲為第一作者，電子科技大學屈鴻教授和張馬路研究員為通訊作者，四川大學章毅教授為合作作者。王曉斌教授是電子科技大學計算智慧團隊的負責人，團隊專注於人工智慧、類腦計算、神經網路基礎理論和應用的研究工作，在脈衝神經網路、圖神經網路、强化學習等