×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [study tradeoffs]
Home >
study tradeoffs
© 2009 Rochester Institute of Technology Geospatial Intermodal Freight Transportation (GIFT)
214 views
1 BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving Bart Selman Cornell University Joint work with Henry Kautz AT&T Labs.
214 views