Stable Solutions for Dynamic Constraint Satisfaction Problems Export

@article{citeulike:612663, abstract = {. An important extension of constraint technology involves problems that undergo changes that may invalidate the current solution. Previous work on dynamic problems sought methods for efficiently finding new solutions. We take a more proactive approach, exploring methods for finding solutions more likely to remain valid after changes that temporarily alter the set of valid assignments (stable solutions). To this end, we examine strategies for tracking changes in a problem and...}, author = {Wallace, Richard J. and Freuder, Eugene C.}, citeulike-article-id = {612663}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.5875}, journal = {Lecture Notes in Computer Science}, keywords = {abandoned, constraint, csc5240, searching}, pages = {447--??}, posted-at = {2006-05-03 19:54:12}, priority = {3}, title = {Stable Solutions for Dynamic Constraint Satisfaction Problems}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.5875}, volume = {1520}, year = {1998} }

TY - JOUR ID - citeulike:612663 L3 - citeulike-article-id:612663 N2 - . An important extension of constraint technology involves problems that undergo changes that may invalidate the current solution. Previous work on dynamic problems sought methods for efficiently finding new solutions. We take a more proactive approach, exploring methods for finding solutions more likely to remain valid after changes that temporarily alter the set of valid assignments (stable solutions). To this end, we examine strategies for tracking changes in a problem and... JF - Lecture Notes in Computer Science EP - ?? TI - Stable Solutions for Dynamic Constraint Satisfaction Problems VL - 1520 SP - 447 KW - abandoned KW - constraint KW - csc5240 KW - searching AU - Wallace, Richard AU - Freuder, Eugene PY - 1998/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.5875 ER -