可满足赋值算子的设计与实现

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

可满足赋值算子的设计与实现

王倩1，陈彩1，吕关锋1，苏开乐2

Design And Implementation of a Satisfiable Assignment Operator

WANG Qian1，CHEN Cai1，L Guanfeng1，SU Kaile2

J4 . 2010, (9): 139 -141 . DOI: 10.3969/j.issn.1007130X.2010.