Inferring Congruence Equations Using SAT.

Andy King, Harald Sndergaard

Browse the full CAV paper archive.