Adapting Stochastic Search For Real-time Dynamic Weighted Constraint Satisfaction

Gregory Hasseler

This work presents two new algorithms for performing constraint satisfaction. The first algorithm presented, DMaxWalkSat, is a constraint solver specialized for solving dynamic, we…