Patent application number | Description | Published |
20100036747 | INTERACTIVE PRODUCT CONFIGURATOR THAT ALLOWS MODIFICATION TO AUTOMATED SELECTIONS - A product configurator includes a constraint based network that includes a plurality of nodes. The configurator receives one or more user selections and generates one or more automatic selections to form a complete configuration. The configurator receives a request to change the configuration after forming the complete configuration, and retracts the automatic selections. For each of the retracted automatic selections, the configurator determines if the retracted automatic selection is a configuration-defining selection and reasserts the configuration-defining selections. | 02-11-2010 |
20100036787 | Dynamic Constraint Satisfaction Problem Solver That Recreates Structure Across Sessions - A dynamic constraint solver for solving a constraint satisfaction problem model receives a request for a current solving session to recreate a first solving session for the model. The solver then collects a deferred port list comprising one or more ports in the model that need a sub-problem and creates one or more runtime constraints for the model. For each of the created runtime constraints, the solver propagates the constraint and determines if the propagation generates a conflict. If the propagation generates a conflict, the solver dismisses the constraint and reverts the model to a state before the constraint was propagated. | 02-11-2010 |
20100037142 | INTERACTIVE PRODUCT CONFIGURATOR WITH DEFAULT DECISIONS - An interactive product configurator includes a constraint network having a plurality of nodes. The configurator receives a new user choice after previously asserting one or more default decisions. The configurator then retracts the previously asserted default decisions before asserting the new user choice. The default decisions are then reasserted. | 02-11-2010 |
20100037159 | INTERACTIVE PRODUCT CONFIGURATOR - A product configurator is based on a constraint network having a plurality of nodes. The product configurator, when it receives a user choice, determines which nodes in the constraint network are affected by the user choice. For each affected node, the product configurator stores the prior domain state of the node and associates the stored prior domain state with the user choice. Therefore, the nodes can be restored to their prior state if the user choice is later removed for any reason. | 02-11-2010 |
20100106670 | CONSTRAINT BASED SYSTEM WITH DYNAMIC CONSISTENCY CHECKING - A constraint based system solves a network that includes a first variable node having a first integer domain, a second variable node having a second integer domain, and a constraint for the first variable node and the second variable node. The system retrieves a first integer domain representation of the first integer domain and a second integer domain representation of the second integer domain and determines from the first and second integer domain representations if the first integer domain or second integer domain has at least one excluded value. The system then determines a type of constraint consistency checking based on whether the integer domains have at least one excluded value. | 04-29-2010 |
20100121795 | DYNAMIC CONSTRAINT SATISFACTION PROBLEM SOLVER - A system for solving a dynamic constraint satisfaction problem comprises a constraint network of variables and constraints. The system creates a first sub-problem model that includes a first model type, one or more first variables and zero or more first constraints. The system propagates the first constraints through the constraint network and determines if a first conflict is detected from propagating the first constraints. If the first conflict is detected, the system restores the constraint network variables to a first previous state before the first constraints were propagated. The system creates a first sub-problem set that includes a second model type and one or more sub-problem models. The system connects the first sub-problem model to the first sub-problem set via a second constraint and propagates the second constraint through the constraint network. | 05-13-2010 |
20100121802 | MANAGEMENT OF SUB-PROBLEMS IN A DYNAMIC CONSTRAINT SATISFACTION PROBLEM SOLVER - A solver solves a dynamic constraint satisfaction problem that is modeled as a constraint network of variables and constraints. The solver generates a dynamic sub-problem facility that includes one or more sub-problem pools that each comprises a sub-problem type, one or more sub-problems for the sub-problem type, and one or more clients for the sub-problem type. The solver generates a sub-problem set domain that comprises zero or more included sub-problems and zero or more excluded sub-problems. The solver synchronizes the sub-problem set domain with the dynamic sub-problem facility. | 05-13-2010 |
20100131872 | INTERACTIVE PRODUCT CONFIGURATOR WITH AUTOMATIC SELECTIONS - A product configurator comprises a constraint network having a plurality of nodes. The configurator allows a modeler to designate that one of more nodes of a configuration are input-required nodes. During an interactive session, the configurator may receive a request for an auto-completion of the configuration. The configurator will determine if an input has been received for the input-required nodes, and prohibit the auto-completion if the input has not been received. | 05-27-2010 |
20100332435 | CONSTRAINT BASED SYSTEM THAT IDENTIFIES TOP CONSTRAINT EXPRESSIONS - A constraint solver solves a constraint satisfaction problem (“CSP”) that includes a network of variables and constraints. The solver receives a sub-expression and determines if the sub-expression is an internal constraint of the CSP. The internal constraint has a supporting operator expression. If the sub-expression is an internal constraint, the solver determines any or all top constraint expressions associated with the supporting operator expression. | 12-30-2010 |
20130173665 | SYSTEM AND METHOD FOR EFFICIENT REPRESENTATION OF DYNAMIC RANGES OF NUMERIC VALUES - Embodiments of the present invention describe using a data structure to represent variable domains in solving a constraint problem. The data structure includes nodes that are configured to represent ranges of values in order to save memory space and processor power. Ranges of values and single values may be both added to and removed from the data structure such that the data structure does not include duplicate values. Operations may include detecting multiple nodes with adjacent or overlapping ranges that may be combined into a single node, and adding or removing all the values in the structure that are beyond a threshold value. In one embodiment the data structure may be a balanced binary tree. Constraint solvers may either add values to the data structure as the values are eliminated from the solution, or they may remove those values. | 07-04-2013 |
20130339402 | SYSTEM AND METHOD FOR EFFICIENT REPRESENTATION OF DYNAMIC RANGES OF NUMERIC VALUES - A method of efficiently representing ranged data sets may include storing a data structure representing a first data set. The data structure may include one or more nodes each representing distinct portions of the data set, and the first data set may include a range of multiple values bounded by an upper bound and a lower bound. A first node may represent the range of multiple values by storing the upper bound and the lower bound. The method may also include receiving a second data set to add to the first data set. The intersection of the first data set and the second data may include at least one value. The method may further include altering the one or more nodes in the data structure such that the union of each of the distinct portions of the data set represented by the one or more nodes is equivalent to the union of the first data set and the second data set; and such that the intersection of each of the distinct portions of the data set represented by the one or more nodes is equivalent to an empty data set. | 12-19-2013 |