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

Marco Palena Gianpiero Cabodi Alan Mishchenko

Published in: DIFTS@FMCAD (2013)

Keyphrases

dynamically changing
case study
dynamic environments
real time
image processing
multi agent
search algorithm
expert systems
state space
sat solvers