Concepedia

A branching heuristic for SAT solvers based on complete implication graphs

Fan Xiao, Chu-Min Li, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li

Science China Information Sciences · 2019 · 11 citations · 11 references

DOI

Concepts

References

11

Chaff

Matthew W. Moskewicz, Conor Madigan, Ying Zhao et al. · 2001 · 2.9K citations

, , +12

GRASP - A New Search Algorithm for Satisfiability

1996 · 860 citations

, , +15

Predicting learnt clauses quality in modern SAT solvers

Gilles Audemard, Laurent Simon · 2009 · 493 citations

, , +9

Chaff: engineering an efficient SAT solver

M.W. Moskewicz, C.F. Madigan, Youpeng Zhao et al. · Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) · 2002 · 283 citations

, , +13

Solving propositional satisfiability problems

R. G. Jeroslow, Jinchang Wang · Annals of Mathematics and Artificial Intelligence · 1990 · 256 citations

, , +9