Convergent Approximate Solving of First-Order Constraints by Approximate Quantifiers (2001)

Cached

Download Links

by Stefan Ratschan
Venue:ACM Trans. Comput. Logic
Citations:1 - 0 self