External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Complete SAT Solver Based on Set Theory

Wensheng Guo, Guowu Yang, QianQi Le, William N. N. Hung. Complete SAT Solver Based on Set Theory. In Baoxiang Liu, Maode Ma, Jincai Chang, editors, Information Computing and Applications - Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings. Volume 7473 of Lecture Notes in Computer Science, pages 616-623, Springer, 2012. [doi]

Authors

Wensheng Guo

This author has not been identified. Look up 'Wensheng Guo' in Google

Guowu Yang

This author has not been identified. Look up 'Guowu Yang' in Google

QianQi Le

This author has not been identified. Look up 'QianQi Le' in Google

William N. N. Hung

This author has not been identified. Look up 'William N. N. Hung' in Google
runs on