- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Herde, Christian

Showing 1 - 1 of 1 results

Search Results

Cover image for Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

by Herde, Christian
2011
Format: Electronic

Location
Access Content Online