Reducing Bit-Vector Polynomials to SAT Using Grbner Bases.

Thomas Seed, Andy King, Neil Evans

Browse the full SAT paper archive.