A more efficient satisfiability problem solver. - Jon Feuss; Andrea F. Lobo (J. Comput. Sci. Coll., 2006)