Generating SAT instances from first-order formulas (0)

by Z Huang, J Zhang
Venue:J. of Software