TaSSAT: Transfer and Share SAT.

Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule

Browse the full TACAS paper archive.