| [LA97] |
C. M. Li, and Anbulagan. Heuristics based on unit
propagation for satisfiability problems. In Proceedings of
IJCAI-97, 1997
|
| [BS97] |
R. J. Bayardo, Jr. and R. C. Schrag. Using CSP Look-Back Techniques to Solve Real-World SAT Instances. In Proceedings of
AAAI-97, 1997
|
| [MMZ+01] |
M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang and S. Malik. Chaff: Engineering an efficient sat solver. In Proceedings of DAC-01, 2001
|
| [ZMM+01] |
L. Zhang, C. Madigan, M. Moskewicz and S. Malik. Efficient conflict driven learning in a boolean satisfiability solver. In Proceedings of ICCAD-01, 2001
|