Approximate quantified constraint solving by cylindrical box decomposition (2000)

Cached

Download Links

by Stefan Ratschan
Venue:RESEARCH INSTITUTE FOR SYMBOLIC COMPUTATION (RISC
Citations:14 - 7 self