Evaluation and Improvements of Boolean Comparison Method Based on Binary Decision Diagrams