Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3.

Marco Palena, Gianpiero Cabodi, Alan Mishchenko

Browse the full FMCAD paper archive.