基于几何规划的布尔可满足问题求解方法

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

基于几何规划的布尔可满足问题求解方法

何安平，吴尽昭，梁艺，熊玲芳，吴昊

The continuous solution of SAT problem
based on geometric programming

HE Anping,WU Jinzhao,LIANG Yi,XIONG Lingfang,WU Hao

计算机工程与科学 . 2013, (9): 122 -126 .