Items where Author is "Egly, Uwe"

Number of items: 1.
Other
  • Comparing Different Prenexing Strategies for Quantified Boolean Formulas. (2004) Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran and M. Zolda
    • This list was generated on Sat Oct 24 01:28:37 2026 BST.