Items where Author is "
Woltran, S.
"
Number of items:
1
.
Item Type
No Grouping
Comparing Different Prenexing Strategies for Quantified Boolean Formulas. (2026)
Michael Zolda
,
U. Egly
and
S. Woltran
This list was generated on
Sat Jul 18 01:42:21 2026 BST
.
arrow_upward
Up a level
EndNote
BibTeX
Reference Manager
Refer
Dublin Core
ASCII Citation
HTML Citation
METS
Object IDs
OpenURL ContextObject
ios_share
Export
rss_feed
Atom
rss_feed
RSS