Search Result

In accordance with regulations and requirements, the editorial department's website domain has been changed to arocmag.cn. The original domain (arocmag.com) has been redirecting to new domain since Jan. 1st, 2025.

Search最大可满足性问题returned 1 results

Improved warning propagation algorithm for solving Max-SAT problem

一种改进的警示传播算法求解Max-SAT问题

Wu Yuxiang

Wang Xiaofeng

Ding Hongsheng

Yu Zhuo

satisfiability problem

Max-SAT problem

warning propagation algorithm

local search algorithm

No. 8, 2022 : 2290-2294 doi:10.19734/j.issn.1001-3695.2022.01.0023

Search 最大可满足性问题

Search Result

Search最大可满足性问题returned 1 results

Improved warning propagation algorithm for solving Max-SAT problem