Darvas, D., Vörös, A. and Bartha, T. 2016. Improving Saturation-based Bounded Model Checking. Acta Cybernetica. 22, 3 (Jan. 2016), 573-589. DOI:https://doi.org/10.14232/actacyb.22.3.2016.2.