Boolean satisfiability on a graphics processor

Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI

Volumn , Issue , 2010, Pages 123-126

  Gulati, Kanupriya ^a   Khatri, Sunil P ^a  

^a TEXAS A AND M UNIVERSITY   (United States)

Author keywords

boolean satisfiability; gpgpu; survey propagation

Indexed keywords

BOOLEAN SATISFIABILITY; GRAPHICS PROCESSOR; NP COMPLETE PROBLEMS; SURVEY PROPAGATION; VARIABLE ORDERING;

LAKES; PROGRAM PROCESSORS;

SURVEYS;

EID: 77954503884     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1785481.1785511     Document Type: Conference Paper

References (17)

1. S. Cook, "The complexity of theorem-proving procedures," in Proceedings, Third ACM Symp. Theory of Computing, 1971, pp. 151-158.
2. M. Silva and J. Sakallah, "GRASP-a new search algorithm for satisfiability," in Proceedings of the International Conference on Computer-Aided Design (ICCAD), November 1996, pp. 220-7.
3. M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik, "Chaff: Engineering an efficient SAT solver," in Proceedings of the Design Automation Conference, July 2001.
4. "http://www.cs.chalmers.se/cs/research/formalmethods/minisat/main. html," the MiniSAT Page.
5. "http://www.cs.rochester.edu/u/kautz/walksat,"Walksat homepage.
6. "http://www.cs.rochester.edu/u/kautz/papers/gsat," GSAT-users-guide.
7. A. Braunstein, M. Mezard, and R. Zecchin, "Survey propagation: an algorithm for satisfiability," Random Structures and Algorithms, vol. 27, pp. 201-226, 2005.
8. J. Chavas, C. Furtlehner, M. Mezard, and R. Zecchina, "Survey-propagation decimation through distributed local computations," J. Stat. Mech, p. P11016, 2005.
9. Z. Fan, F. Qiu, A. Kaufman, and S. Yoakum-Stover, "GPU cluster for high performance computing," in SC '04: Proceedings of the 2004 ACM/IEEE conference on Supercomputing. Washington, DC, USA: IEEE Computer Society, 2004, p. 47.
10. J. Owens, "GPU architecture overview," in SIGGRAPH '07: ACM SIGGRAPH 2007 courses. New York, NY, USA: ACM, 2007, p. 2.
11. M. Pharr and R. Fernando, GPU Gems 2: Programming Techniques for High-Performance Graphics and General-Purpose Computation (Gpu Gems). Addison-Wesley Professional, 2005.
12. L. Fang and M. S. Hsiao, "A new hybrid solution to boost SAT solver performance," in DATE '07: Proceedings of the conference on Design, automation and test in Europe. San Jose, CA, USA: EDA Consortium, 2007, pp. 1307-1313.
13. L. Zheng and P. J. Stuckey, "Improving SAT using 2SAT," in ACSC '02: Proceedings of the twenty-fifth Australasian conference on Computer science. Darlinghurst, Australia, Australia: Australian Computer Society, Inc., 2002, pp. 331-340.
14. "http://baldur.iti.uka.de/sat-race-2008," SAT-Race 2008.
15. E. Maneva, E. Mossel, and M. J. Wainwright, "A new look at survey propagation and its generalizations," in SODA '05: Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms. Philadelphia, PA, USA: Society for Industrial and Applied Mathematics, 2005, pp. 1089-1098.
16. P. Manolis and Y. Zhang, "Implementing survey propagation on graphics processing units," in SAT '06: Proceedings of the International Conference on Theory and Applications of Satisfiability Testing, 2006, pp. 311-324.
17. "NVIDIA CUDA Homepage," http://developer.nvidia.com/object/ cuda.html.