Processor Scheduling Algorithms for Constraint-Satisfaction Search Problems