URSA: A System for Uniform Reduction to SAT

Predrag Janicic

There are a huge number of problems, from various areas, being solved by reducing them to SAT. However, for many applications, translation into SAT is performed by specialized, pro…