We propose a method for testing satisfiability based on Boolean rings. ... The Boolean-ring formalism differs from Boolean algebra in that it defines a ...
確定! 回上一頁