Search Result

1

Analog SAT solver based on improved continuous-time dynamic systems

基于改进连续时间动态系统的模拟SAT求解器

Zhao Haijun

Chen Huayue

Cui Mengtian

Boolean satisfiability problem

continuous-time dynamical system

analog design

auxiliary variables

digital verification

speedup performance

No. 1, 2024 : 200-205 doi:10.19734/j.issn.1001-3695.2023.04.0189

2

Convergence analysis of warning propagation algorithm based on tree width

基于树宽的警示传播算法收敛性分析

Xie Zhixin

Wang Xiaofeng

Yu Zhuo

Cao Zexuan

Wu Yuxiang

Mo Chunhui

warning propagation(WP) algorithm

convergence

tree width

propositional formula

satisfiability problem

No. 10, 2022 : 3061-3064,3077 doi:10.19734/j.issn.1001-3695.2022.03.0098

3

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

4

Overview of message propagation algorithm for satisfiability problems

求解可满足性问题的信息传播算法研究综述

Xie Zhixin

Wang Xiaofeng

Cao Zexuan

Yu Zhuo

Mo Chunhui

Wu Yuxiang

message propagation algorithm

combinatorial optimization

satisfiability problems

warning propagation

belief propagation

survey propagation

No. 7, 2022 : 1933-1940 doi:10.19734/j.issn.1001-3695.2021.10.0644

5

Convergence analysis of survey propagation algorithm based on K-dimensional structure entropy

基于K维结构熵的调查传播算法收敛性分析

Liang Chen

Wang Xiaofeng

Liu Zilin

Lu Lei

Niu Pengfei

satisfiability problem

K-dimensional structural entropy

survey propagation algorithm

convergence

No. 5, 2022 : 1432-1436 doi:10.19734/j.issn.1001-3695.2021.10.0474

6

Belief propagation algorithm for solving multi literal satisfiability problem

求解多文字可满足SAT问题的置信传播算法

Lu Lei

Wang Xiaofeng

Niu Pengfei

Liu Zilin

multi literal satisfiability

belief propagation algorithm

WalkSAT

satisfiability problem

No. 9, 2021 : 2710-2715 doi:10.19734/j.issn.1001-3695.2021.01.0012

7

Convergence analysis of warning propagation algorithm based on structural entropy

基于结构熵的警示传播算法收敛性分析

Niu Jin

Wang Xiaofeng

Lin Qingwen

satisfiability problem

propositional formula

structural entropy

warning propagation algorithm

convergence

No. 3, 2021 : 760-763,776 doi:10.19734/j.issn.1001-3695.2020.03.0053

8

Back-jump levels based learnt clauses deletion strategy for SAT solver

基于回跳层数的SAT求解器学习子句删除策略

Shen Xue

Chen Shuwei

Xu Yang

Wu Guanfeng

satisfiability problem

conflict driven clause learning

literal block distance(LBD)

back-jump levels

No. 11, 2020 : 3316-3320 doi:10.19734/j.issn.1001-3695.2019.07.0269

9

Dynamic learnt clause evaluation strategy based on number of participations in conflict analysis

基于参与冲突分析次数的动态学习子句评估策略

Sun Jing

Zhong Xiaomei

Xu Yang

satisfiability problem

conflict analysis

learnt clause evaluation

learnt clause reduction

No. 10, 2020 : 2902-2906 doi:10.19734/j.issn.1001-3695.2019.06.0205

Search satisfiability problem

Searchsatisfiability problemreturned 9 results

Analog SAT solver based on improved continuous-time dynamic systems

Convergence analysis of warning propagation algorithm based on tree width

Improved warning propagation algorithm for solving Max-SAT problem

Overview of message propagation algorithm for satisfiability problems

Convergence analysis of survey propagation algorithm based on K-dimensional structure entropy

Belief propagation algorithm for solving multi literal satisfiability problem

Convergence analysis of warning propagation algorithm based on structural entropy

Back-jump levels based learnt clauses deletion strategy for SAT solver

Dynamic learnt clause evaluation strategy based on number of participations in conflict analysis