Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers.

Jeevana Priya Inala, Rohit Singh, Armando Solar-Lezama

Browse the full SAT paper archive.