Items where Author is "Woltran, S."

Number of items: 1.
Thesis
  • Comparing Different Prenexing Strategies for Quantified Boolean Formulas. (2026) Michael Zolda, U. Egly and S. Woltran
    • This list was generated on Fri May 8 01:39:17 2026 BST.