The areas to optimize in your program are the constraint propagation and the solution search. Improvements in those two areas are, of course, interdependent, and the greatest gains in efficiency come about when you work simultaneously on both aspects.