Title: Solving non-clausal SAT formulas
First published: 2004