SPECIAL PROCESSOR FOR BOOLEAN SATISFIABILITY TASK Russian patent published in 2018 - IPC G06F17/00 

FIELD: physics.

SUBSTANCE: some of the functions performed in the prototype by a logical matrix are replaced by encoding information written in standard memory and subsequent decoding by the logic of the special processor. To encode a formula having N variables and up to M=2^K clauses in a form convenient for the special processor, M(3N+2K) bit of the external memory is used for the special processor. The special processor for the Boolean satisfiability task contains N-bit registers, N-bit adders, multiplexers, N-1-bit shift registers, N-bit special processor inputs, AND first group elements, an OR element, RS flip-flops, a decoder, K-bit counters of the comparison circuit, subtraction schemes, a synchronization input of the special processor.

EFFECT: simplifying the structure of the special processor.

5 dwg