论文信息 - An algorithm for solving satisfiability problem based on the structural information of formulas - 字舞流文

An algorithm for solving satisfiability problem based on the structural information of formulas

Daoyun Xu | Zaijun Zhang | Jincheng Zhou

[1] Stephen A. Cook,et al. The complexity of theorem-proving procedures , 1971, STOC.

[2] Angsheng Li,et al. Structural Information and Dynamical Complexity of Networks , 2016, IEEE Transactions on Information Theory.

[3] Kaile Su,et al. Local search for Boolean Satisfiability with configuration checking and subscore , 2013, Artif. Intell..

[4] Holger H. Hoos,et al. Captain Jack: New Variable Selection Heuristics in Local Search for SAT , 2011, SAT.

[5] Adrian Balint,et al. Improving Stochastic Local Search for SAT with a New Probability Distribution , 2010, SAT.