Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
A machine program for theorem-proving
Communications of the ACM
Consistency restoriation and explanations in dynamic CSPs----application to configuration
Artificial Intelligence
Introduction to Algorithms
| Hi-index | 0.00 |
In this paper we present a generalization of the problem of interactive configuration. The usual interactive configuration problem is the problem of, given some variables on small finite domains and an increasing set of assignment of values to a subnet of the variables, to compute for each of the unassigned variables which values in its domain that participate in some solution for some assignment of values to the other unassigned variables. In this paper we consider how to extend this scheme to handle infinite regular domains using string variables and constraints that involves regular-expression checks on the string variables. We first show how to do this by using one single DFA. Since this approach is vastly space consuming, we construct a data structure that simulates the large DFA and is much more space efficient. As an example a configuration problem on n string variables with only one solution in which each string variable is assigned a value oflength k the former structure will use Ω(kn) space whereas the latter only need O(kn). We also show how this framework can be combined with the recent BDD techniques to allow both boolean, integer and string variables in the configuration problem.