Fadi Ahmed Aloul

• Scalable algorithms for boolean satisfiability enabled by problem structure