Data processing: artificial intelligence – Neural network – Learning task
Reexamination Certificate
2007-01-30
2007-01-30
Knight, Anthony (Department: 2121)
Data processing: artificial intelligence
Neural network
Learning task
Reexamination Certificate
active
10624664
ABSTRACT:
A method for solving a constraint satisfaction problem (CSP) includes choosing a first state corresponding to a first set of values of a set of variables, and selecting a hop distance within a state space of the variables responsively to a random distance selection criterion. A second state corresponding to a second set of the values of the variables is selected, such that the second state is separated from the first state by the hop distance. Constraint costs of the first and second states are compared. If the cost of the second state is lower than the cost of the first state, the first state is redefined to correspond to the second set of the values of the variables. These steps are repeated until a solution of the CSP is found.
REFERENCES:
patent: 5428712 (1995-06-01), Elad et al.
patent: 5636328 (1997-06-01), Kautz et al.
patent: 6301613 (2001-10-01), Ahlstrom et al.
patent: 6556978 (2003-04-01), Ginsberg et al.
Kalev Kask & Rina Dechter; Stochastic Local Search for Bayesian Networks, 1999.
Freuder et al.; Systematic Versus Stochastic Constraint Satisfaction.
Bin, E. et al., “Using a Constraint Satisfaction Formulation and Solution Techniques for Random test Program Generation,” IBM Systems Journal, vol. 41, No. 3, 2002.
Selman, Bert, et al., “A New Method for Solving Hard Satisfiability Problems,” Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), San Jose, CA, Jul. 1992, 440-446.
Holmes Michael B.
Kaufman Stephen C.
Knight Anthony
LandOfFree
Solving constraint satisfaction problems using... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Solving constraint satisfaction problems using..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Solving constraint satisfaction problems using... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3803933