229 papers found
Refreshing results…
Experience with the SETL optimizer
Download from citeseerx.ist.psu.eduFast Probabilistic Algorithms for Verification of Polynomial Identities.
Download from citeseerx.ist.psu.eduMissing publications? Read more about our data sources.