Mixed Real-Integer Linear Quantifier Elimination (1999)

Cached

Download Links

by Volker Weispfenning
Citations:26 - 1 self