Crossmark

SAT solver management strategies in IC3: an experimental approach

Crossref DOI link: https://doi.org/10.1007/s10703-017-0272-0

Published Online: 2017-02-25

Published Print: 2017-03

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Cabodi, G.

Camurati, P. E.

Mishchenko, A.

Palena, M. https://orcid.org/0000-0003-0605-9014
Pasini, P.
License Information

License valid from 2017-02-25