Automatic Generation of Local Repairs for Boolean Programs.

Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson

Browse the full FMCAD paper archive.