摘要 |
Within satisfaction problems or any decision or other problem which is reducible to a satisfaction problem, the invention tracks the sources of implications and identifies proximal parameterizations of conditional contradictions and subsequently avoids those contradictory conditions. The action is completed in less time than is incurred by existing methods and thus provides a performance improvement to the devices, software, or processes which address such problems. Such problems are addressed by devices, software, and processes related to many technical fields, including: image compression; image analysis; cryptanalysis; telecommunications routing; generic control systems for data processing; structural design of data processing systems; design and analysis of circuit or semiconductor mask; artificial intelligence; logistic scheduling and routing; design and analysis of proteins. |