Now support more selection variables such as <0aabc>, <0abbc>,....,<0cdee>
Also, for the duplicated inputs, we do not allow they appeared as complemented polarities.
For example, <a!abcd>, is actually reduced to since variable a does not has impact on the output.
In total, the strategies make the solver faster and using a fewer number of nodes.
Now support more selection variables such as <0aabc>, <0abbc>,....,<0cdee>
Also, for the duplicated inputs, we do not allow they appeared as complemented polarities. For example, <a!abcd>, is actually reduced to since variable a does not has impact on the output.
In total, the strategies make the solver faster and using a fewer number of nodes.