1. Balcan, M.-F., Prasad, S., Sandholm, T., Vitercik, E. Structural analysis of branch-and-cut and the learnability of gomory mixed integer cuts. In: Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K., Oh, A. (eds.) Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28–December 9 2022 (2022)
2. Lecture Notes in Computer Science;H Barbosa,2022
3. Barrett, C., Fontaine, P., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB) (2016)
4. Bjørner, N.: Proofs for SMT (2022). https://z3prover.github.io/slides/proofs.html
5. Bjørner, N., et al.: Z3 internals (2023). https://z3prover.github.io/papers/z3internals.html