Verifying mixed real-integer quantifier elimination (2006)

Cached

Download Links

by Amine Chaieb
Venue:IJCAR 2006, LNCS 4130
Citations:8 - 5 self