A system and method for processing a large constraint satisfaction problem quickly, including a subset generating module (1), which divides a set of alternatives provided for a plurality of parts of a given problem into a plurality of subsets, such that each subset has not more than two alternatives...http://www.google.fr/patents/US6336110?utm_source=gb-gplus-shareBrevet US6336110 - System for solving of a constraint-satisfaction problem and constructing of a system
System for solving of a constraint-satisfaction problem and constructing of ...
