US6965887B2 - Rule Processing Methods for Automating a Decision and Assessing Satisfiability of Rule-Based Decision Diagrams