The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Sep. 20, 2022
Filed:
Jul. 19, 2018
National University Corporation Yokohama National University, Yokohama, JP;
Naoki Takeuchi, Yokohama, JP;
Masashi Aono, Yokohama, JP;
National University Corporation Yokohama National University, Kanagawa, JP;
Abstract
A solution search device includes a variable value calculation circuit provided for each variable in a conjunctive-normal-form logical expression of an instance of the Boolean Satisfiability problem (SAT) and calculates a value of the variable; and a notification path that notifies another variable value calculation circuit of the value, in which each of the variable value calculation circuit includes a positive-side variable value calculation circuit that calculates a value of a target variable making all clauses including a target variable having no negation among clauses of the logical expression be true, a negative-side variable value calculation circuit that calculates the value of the target variable making all clauses including a target variable having negation among clauses of the logical expression be true, and a current value calculation circuit that calculates the value of the target variable based on the value of the target variable calculated by the positive- side variable value calculation circuit.