Search Results - "宁欣然" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Vyzkoušejte nový nástroj s podporou AI Summon Research Assistant BETA

Cover Image

基于任务分配与调度的GSAT算法求解3-SAT问题

by 付慧敏, 徐扬, 何星星, 宁欣然
Published in 计算机工程与科学 (2018)

Get full text

Journal Article

Cover Image

命题逻辑可满足性问题求解器的新型预处理子句消去方法

by 宁欣然, 徐扬, 陈振颂
Published in 计算机集成制造系统 (01.08.2020)

Get full text

Journal Article