1. Christoph Albrecht . 2005 . IWLS 2005 benchmarks. In IWLS. Christoph Albrecht. 2005. IWLS 2005 benchmarks. In IWLS.
2. Luca Amarú Pierre-Emmanuel Gaillardon and Giovanni De Micheli. 2015. The EPFL combinational benchmark suite. In IWLS. Luca Amarú Pierre-Emmanuel Gaillardon and Giovanni De Micheli. 2015. The EPFL combinational benchmark suite. In IWLS.
3. Saeed Amizadeh Sergiy Matusevych and Markus Weimer. 2019. Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach. In ICLR. Saeed Amizadeh Sergiy Matusevych and Markus Weimer. 2019. Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach. In ICLR.
4. Rishi Bommasani et al. 2021. On the opportunities and risks of foundation models. arXiv preprint arXiv:2108.07258 (2021). Rishi Bommasani et al. 2021. On the opportunities and risks of foundation models. arXiv preprint arXiv:2108.07258 (2021).
5. Robert Brayton and Alan Mishchenko . 2010 . ABC: An academic industrial-strength verification tool . In CAV. Springer , 24--40. Robert Brayton and Alan Mishchenko. 2010. ABC: An academic industrial-strength verification tool. In CAV. Springer, 24--40.