×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [ibm corporationcpaior]
IBM Watson Research Center CPAIOR-2013 Workshop: Seeking Feasibility in Combinatorial Problems © 2013 IBM Corporation Branching Strategies and Restarts
212 views
Branching Strategies and Restarts in SAT Solvers Ashish Sabharwal
52 views
Guiding Combinatorial Search with UCT Ashish Sabharwal , Horst Samulowitz, Chandra Reddy
36 views