SPECIAL-PURPOSE PROCESSOR FOR BOOLEAN SATISFIABILITY PROBLEM Russian patent published in 2014 - IPC G06F17/00 

FIELD: information technology.

SUBSTANCE: special-purpose processor for the Boolean satisfiability problem comprises an N-bit adder-accumulator, the reset input of which is the reset input of the special-purpose processor, the clock input is the clock input of the special-purpose processor, the write enable input is the first control input of the special-purpose processor; first and second decoders, m-bit and k-bit data inputs of which are the first and second data inputs of the special-purpose processor, respectively, and the control input of the second decoder is the second control input of the special-purpose processor.

EFFECT: reduced complexity of the special-purpose processor and high speed of solving the Boolean satisfiability problem owing to the simple design of the special-purpose processor, the basis of which is an adder-accumulator, a priority circuit and a matrix comprising N×M same-type cells.

8 dwg