IBM Watson Research Center CPAIOR-2013 Workshop: Seeking Feasibility in Combinatorial Problems © 2013 IBM Corporation Branching Strategies and Restarts.
Branching Strategies and Restarts in SAT Solvers Ashish Sabharwal
Guiding Combinatorial Search with UCT Ashish Sabharwal , Horst Samulowitz, Chandra Reddy