A1) False.  Domains can only decrease in size throughout constraint
propagation, and thus propagation must eventually converge
B1) False.  This is not true on general graphs.
A2) False.  It chooses the variable
B2) True.
A3) False.  O(nd^2)
B3) False.  O(nd^2)
A4) False.  That is exactly why they are ok for CSPs
B4) False.