Gianpiero Cabodi, Paolo Camurati, Alan Mishchenko, Marco Palena, P. Pasini. SAT solver management strategies in IC3: an experimental approach. Formal Methods in System Design, 50(1):39-74, 2017. [doi]
@article{CabodiCMPP17,
title = {SAT solver management strategies in IC3: an experimental approach},
author = {Gianpiero Cabodi and Paolo Camurati and Alan Mishchenko and Marco Palena and P. Pasini},
year = {2017},
doi = {10.1007/s10703-017-0272-0},
url = {http://dx.doi.org/10.1007/s10703-017-0272-0},
researchr = {https://researchr.org/publication/CabodiCMPP17},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {50},
number = {1},
pages = {39-74},
}