Christian Thiffault

• Solving non-clausal SAT formulas