Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation).

Iago Abal, Alcino Cunha, Joe Hurd, Jorge Sousa Pinto

Browse the full SAT paper archive.