The probSAT SAT Solver: An efficient implementation of a variant of the probSAT solver presented in: ”Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break” by Adrian Balint, Uwe Schöning

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang: NLocalSAT: Boosting Local Search with Solution Prediction (2020) arXiv