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.

Comparing Different Prenexing Strategies for Quantified Boolean Formulas

Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran, Michael Zolda. Comparing Different Prenexing Strategies for Quantified Boolean Formulas. In Enrico Giunchiglia, Armando Tacchella, editors, Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers. Volume 2919 of Lecture Notes in Computer Science, pages 214-228, Springer, 2003. [doi]

Authors

Uwe Egly

This author has not been identified. Look up 'Uwe Egly' in Google

Martina Seidl

This author has not been identified. It may be one of the following persons: Look up 'Martina Seidl' in Google

Hans Tompits

This author has not been identified. Look up 'Hans Tompits' in Google

Stefan Woltran

This author has not been identified. Look up 'Stefan Woltran' in Google

Michael Zolda

This author has not been identified. Look up 'Michael Zolda' in Google
runs on