会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 36. 发明申请
    • SOLUTION SEARCH DEVICE AND PROGRAM
    • US20200210515A1
    • 2020-07-02
    • US16631430
    • 2018-07-19
    • National University Corporation YOKOHAMA National University
    • Naoki TAKEUCHIMasashi AONO
    • G06F17/12G06F9/455
    • A solution search device includes a variable value calculation circuit that is provided for each variable included 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 of the variable calculated by the variable value calculation circuit, in which each of the variable value calculation circuits includes a positive-side variable value calculation circuit that calculates a value of a target variable in a case where a value of another variable calculated by another variable value calculation circuit is input to the logical expression, the target variable being the variable whose value is calculated by the variable value calculation circuit, the value calculated by the positive-side variable value calculation circuit 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 in a case where a value of another variable calculated by another variable value calculation circuit is input to the logical expression, the value calculated by the negative-side variable value calculation circuit 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, the value of the target variable calculated by the negative-side variable value calculation circuit, and a previous value of the target variable.