Atserias, Albert; Fijalkow, Joanna Definable ellipsoid method, sums-of-squares proofs, and the graph isomorphism problem. (English) Zbl 1523.68035 SIAM J. Comput. 52, No. 5, 1193-1229 (2023). MSC: 68Q25 03B70 03C13 05C60 90C22 90C25 PDFBibTeX XMLCite \textit{A. Atserias} and \textit{J. Fijalkow}, SIAM J. Comput. 52, No. 5, 1193--1229 (2023; Zbl 1523.68035) Full Text: DOI
Eppstein, David Setting parameters by example. (English) Zbl 1027.90092 SIAM J. Comput. 32, No. 3, 643-653 (2003). MSC: 90C31 49N45 90C35 68Q25 PDFBibTeX XMLCite \textit{D. Eppstein}, SIAM J. Comput. 32, No. 3, 643--653 (2003; Zbl 1027.90092) Full Text: DOI
Murgolo, Frank D. An efficient approximation scheme for variable-sized bin packing. (English) Zbl 0618.90081 SIAM J. Comput. 16, 149-161 (1987). MSC: 90C27 68Q25 90C05 PDFBibTeX XMLCite \textit{F. D. Murgolo}, SIAM J. Comput. 16, 149--161 (1987; Zbl 0618.90081) Full Text: DOI
Karp, Richard M.; Papadimitriou, Christos H. On linear characterizations of combinatorial optimization problems. (English) Zbl 0505.65020 SIAM J. Comput. 11, 620-632 (1982). MSC: 65K05 90C30 68Q25 PDFBibTeX XMLCite \textit{R. M. Karp} and \textit{C. H. Papadimitriou}, SIAM J. Comput. 11, 620--632 (1982; Zbl 0505.65020) Full Text: DOI Link