A 0.004% resolution & SAT.

Yuejun Zhang Haiming Zhang Pengjun Wang Qiufeng Wu Gang Li

Published in: Integr. (2021)

Keyphrases

sat solvers
clause learning
high resolution
satisfiability problem
sat solving
sat problem
consequence finding
phase transition
search strategies
low resolution
search algorithm
image processing
unit propagation
data sets
max sat
sampling rate
sat instances
propositional satisfiability
boolean satisfiability