Title: Recent Findings in Boolean Techniques