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.

A More Efficient BDD-Based QBF Solver

Oswaldo Olivo, E. Allen Emerson. A More Efficient BDD-Based QBF Solver. In Jimmy Ho-Man Lee, editor, Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings. Volume 6876 of Lecture Notes in Computer Science, pages 675-690, Springer, 2011. [doi]

Authors

Oswaldo Olivo

This author has not been identified. Look up 'Oswaldo Olivo' in Google

E. Allen Emerson

This author has not been identified. Look up 'E. Allen Emerson' in Google
runs on