Dániel Darvas, András Vörös, Tamás Bartha. Improving Saturation-based Bounded Model Checking. Acta Cybern., 22(3):573-589, 2016. [doi]
@article{DarvasVB16, title = {Improving Saturation-based Bounded Model Checking}, author = {Dániel Darvas and András Vörös and Tamás Bartha}, year = {2016}, doi = {10.14232/actacyb.22.3.2016.2}, url = {https://doi.org/10.14232/actacyb.22.3.2016.2}, researchr = {https://researchr.org/publication/DarvasVB16}, cites = {0}, citedby = {0}, journal = {Acta Cybern.}, volume = {22}, number = {3}, pages = {573-589}, }