%0 Conference Paper %1 conf/fmcad/PalenaCM13 %A Palena, Marco %A Cabodi, Gianpiero %A Mishchenko, Alan %B DIFTS@FMCAD %D 2013 %E Ganai, Malay K. %E Sen, Alper %I CEUR-WS.org %K dblp %T Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3. %U http://dblp.uni-trier.de/db/conf/fmcad/difts2013.html#PalenaCM13 %V 1130

@inproceedings{conf/fmcad/PalenaCM13, added-at = {2019-05-28T00:00:00.000+0200}, author = {Palena, Marco and Cabodi, Gianpiero and Mishchenko, Alan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2eab3de7a62edd5ff759127f5ffcd9e20/dblp}, booktitle = {DIFTS@FMCAD}, crossref = {conf/fmcad/2013difts}, editor = {Ganai, Malay K. and Sen, Alper}, ee = {http://ceur-ws.org/Vol-1130/paper_5.pdf}, interhash = {65f001379a9d76e61a9e27c06aa17385}, intrahash = {eab3de7a62edd5ff759127f5ffcd9e20}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2019-09-27T17:40:13.000+0200}, title = {Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/difts2013.html#PalenaCM13}, volume = 1130, year = 2013 }