Decompilation into logic - Improved.

Magnus O. Myreen, Michael J. C. Gordon, Konrad Slind

Browse the full FMCAD paper archive.