PALSAT: Deep Cooperation of Unit Propagation and Local Search in Incomplete SAT Solving.

Mingming Jin, Zhijie Kuang, Jiongzhi Zheng, Kun Mao, Kun He

Browse the full SAT paper archive.