搜索结果: 1-1 共查到“JSAT”相关记录1条 . 查询时间(0.031 秒)
Journal on Satisfiability, Boolean Modeling and Computation（JSAT）
Journal on Satisfiability Boolean Modeling and Computation JSAT 计算机
2008/1/15
JSAT is a peer reviewed Journal, publishing high quality original research papers and survey papers which evidently contribute to deeper insight. It is an electronic medium, guaranteeing fast publicat...