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.

An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas

Ruiwen Chen, Valentine Kabanets, Nitin Saurabh. An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas. In Erzsébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik, editors, Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II. Volume 8635 of Lecture Notes in Computer Science, pages 165-176, Springer, 2014. [doi]

Authors

Ruiwen Chen

This author has not been identified. Look up 'Ruiwen Chen' in Google

Valentine Kabanets

This author has not been identified. Look up 'Valentine Kabanets' in Google

Nitin Saurabh

This author has not been identified. Look up 'Nitin Saurabh' in Google
runs on