Items where Author is "<span class="person_name">Woltran, S.</span>"
Number of items: 1.
Thesis
  • Comparing Different Prenexing Strategies for Quantified Boolean Formulas. (2005) Michael Zolda, U. Egly and S. Woltran