Slide 110/7/2014 Constrainedness of Search Toby Walsh NICTA and UNSW http://cse.unsw.edu.au/~tw Slide 2 Motivation Will a problem be satisfiable or unsatisfiable? Will it…