De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio Contract strengthening through constrained Horn clause verification. (English) Zbl 07806141 Hamilton, Geoffrey W. (ed.) et al., Proceedings of the 9th workshop on Horn clauses for verification and synthesis and of the 10th international workshop on verification and program transformation, HCVS/VPT 2022, Munich, Germany, April 3, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 373, 23-34 (2022). MSC: 68-XX 90-XX PDFBibTeX XMLCite \textit{E. De Angelis} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 373, 23--34 (2022; Zbl 07806141) Full Text: arXiv Link
Aliev, I.; De Loera, J. A.; Eisenbrand, Friedrich; Oertel, T.; Weismantel, Robert The support of integer optimal solutions. (English) Zbl 1402.90091 SIAM J. Optim. 28, No. 3, 2152-2157 (2018). MSC: 90C10 90C46 11H06 PDFBibTeX XMLCite \textit{I. Aliev} et al., SIAM J. Optim. 28, No. 3, 2152--2157 (2018; Zbl 1402.90091) Full Text: DOI arXiv