Recent Findings in Boolean Techniques