<div class="csl-bib-body">
<div class="csl-entry">Froleyks, N., Yu, E., & Biere, A. (2023). BIG Backbones. In A. Nadel & K. Y. Rozier (Eds.), <i>Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023</i> (pp. 162–167). TU Wien Academic Press. https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_24</div>
</div>