Bendle, Dominik; Böhm, Janko; Ren, Yue; Schröter, Benjamin Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians. (English) Zbl 07725349 J. Symb. Comput. 120, Article ID 102224, 28 p. (2024). MSC: 14T15 68W10 68W30 14Q15 14M15 52B15 PDFBibTeX XMLCite \textit{D. Bendle} et al., J. Symb. Comput. 120, Article ID 102224, 28 p. (2024; Zbl 07725349) Full Text: DOI arXiv
Hojny, Christopher; Pfetsch, Marc E. Handling symmetries in mixed-integer semidefinite programs. (English) Zbl 07745653 Cire, Andre A. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 20th international conference, CPAIOR 2023, Nice, France, May 29 – June 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13884, 69-78 (2023). MSC: 68T20 90Bxx 90C27 PDFBibTeX XMLCite \textit{C. Hojny} and \textit{M. E. Pfetsch}, Lect. Notes Comput. Sci. 13884, 69--78 (2023; Zbl 07745653) Full Text: DOI
Peitl, Tomáš; Szeider, Stefan Are hitting formulas hard for resolution? (English) Zbl 07696121 Discrete Appl. Math. 337, 173-184 (2023). MSC: 68Txx 68Qxx 03Bxx PDFBibTeX XMLCite \textit{T. Peitl} and \textit{S. Szeider}, Discrete Appl. Math. 337, 173--184 (2023; Zbl 07696121) Full Text: DOI arXiv
Brakensiek, Joshua; Heule, Marijn; Mackey, John; Narváez, David The resolution of Keller’s conjecture. (English) Zbl 07606340 J. Autom. Reasoning 66, No. 3, 277-300 (2022). MSC: 68V15 PDFBibTeX XMLCite \textit{J. Brakensiek} et al., J. Autom. Reasoning 66, No. 3, 277--300 (2022; Zbl 07606340) Full Text: DOI arXiv
Itzhakov, Avraham; Codish, Michael Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs. (English) Zbl 1492.05081 Constraints 27, No. 1-2, 8-28 (2022). MSC: 05C45 68R10 90C35 05C75 PDFBibTeX XMLCite \textit{A. Itzhakov} and \textit{M. Codish}, Constraints 27, No. 1--2, 8--28 (2022; Zbl 1492.05081) Full Text: DOI Backlinks: MO
Polak, Sven C. Symmetry reduction to optimize a graph-based polynomial from queueing theory. (English) Zbl 1493.90131 SIAM J. Appl. Algebra Geom. 6, No. 2, 243-266 (2022). MSC: 90C23 90C35 26B25 05E18 PDFBibTeX XMLCite \textit{S. C. Polak}, SIAM J. Appl. Algebra Geom. 6, No. 2, 243--266 (2022; Zbl 1493.90131) Full Text: DOI arXiv
Dokuchaev, Mikhailo; Mandel, Arnaldo; Plakhotnyk, Makar The cone of quasi-semimetrics and exponent matrices of tiled orders. (English) Zbl 1493.05132 Discrete Math. 345, No. 1, Article ID 112665, 11 p. (2022). MSC: 05C20 05C22 52B20 PDFBibTeX XMLCite \textit{M. Dokuchaev} et al., Discrete Math. 345, No. 1, Article ID 112665, 11 p. (2022; Zbl 1493.05132) Full Text: DOI arXiv
Dias, Gustavo; Liberti, Leo Exploiting symmetries in mathematical programming via orbital independence. (English) Zbl 1467.90051 Ann. Oper. Res. 298, No. 1-2, 149-182 (2021). MSC: 90C27 90C20 PDFBibTeX XMLCite \textit{G. Dias} and \textit{L. Liberti}, Ann. Oper. Res. 298, No. 1--2, 149--182 (2021; Zbl 1467.90051) Full Text: DOI HAL
Hojny, Christopher Packing, partitioning, and covering symresacks. (English) Zbl 1446.90110 Discrete Appl. Math. 283, 689-717 (2020). MSC: 90C10 90C57 PDFBibTeX XMLCite \textit{C. Hojny}, Discrete Appl. Math. 283, 689--717 (2020; Zbl 1446.90110) Full Text: DOI
Junttila, Tommi; Karppa, Matti; Kaski, Petteri; Kohonen, Jukka An adaptive prefix-assignment technique for symmetry reduction. (English) Zbl 1444.68129 J. Symb. Comput. 99, 21-49 (2020). MSC: 68R07 68T20 68W10 PDFBibTeX XMLCite \textit{T. Junttila} et al., J. Symb. Comput. 99, 21--49 (2020; Zbl 1444.68129) Full Text: DOI
Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J. Constraints for symmetry breaking in graph representation. (English) Zbl 1425.05099 Constraints 24, No. 1, 1-24 (2019). MSC: 05C62 PDFBibTeX XMLCite \textit{M. Codish} et al., Constraints 24, No. 1, 1--24 (2019; Zbl 1425.05099) Full Text: DOI Link
Zappa, Emilio; Holmes-Cerfon, Miranda Calculating the symmetry number of flexible sphere clusters. (English) Zbl 1426.82079 J. Nonlinear Sci. 29, No. 5, 2021-2053 (2019). MSC: 82C22 65K10 20B30 20C35 62D05 PDFBibTeX XMLCite \textit{E. Zappa} and \textit{M. Holmes-Cerfon}, J. Nonlinear Sci. 29, No. 5, 2021--2053 (2019; Zbl 1426.82079) Full Text: DOI arXiv
Geyer, Andrew J.; Bulutoglu, Dursun A.; Ryan, Kenneth J. Finding the symmetry group of an LP with equality constraints and its application to classifying orthogonal arrays. (English) Zbl 1474.90276 Discrete Optim. 32, 93-119 (2019). MSC: 90C05 90C10 68R10 90C57 PDFBibTeX XMLCite \textit{A. J. Geyer} et al., Discrete Optim. 32, 93--119 (2019; Zbl 1474.90276) Full Text: DOI arXiv
Pfetsch, Marc E.; Rehn, Thomas A computational comparison of symmetry handling methods for mixed integer programs. (English) Zbl 1411.90233 Math. Program. Comput. 11, No. 1, 37-93 (2019). MSC: 90C11 90C57 PDFBibTeX XMLCite \textit{M. E. Pfetsch} and \textit{T. Rehn}, Math. Program. Comput. 11, No. 1, 37--93 (2019; Zbl 1411.90233) Full Text: DOI
Fischetti, Matteo; Liberti, Leo; Salvagnin, Domenico; Walsh, Toby Orbital shrinking: theory and applications. (English) Zbl 1406.90081 Discrete Appl. Math. 222, 109-123 (2017). MSC: 90C11 PDFBibTeX XMLCite \textit{M. Fischetti} et al., Discrete Appl. Math. 222, 109--123 (2017; Zbl 1406.90081) Full Text: DOI
Bundala, Daniel; Codish, Michael; Cruz-Filipe, Luís; Schneider-Kamp, Peter; Závodný, Jakub Optimal-depth sorting networks. (English) Zbl 1353.68062 J. Comput. Syst. Sci. 84, 185-204 (2017). MSC: 68P10 68Q25 PDFBibTeX XMLCite \textit{D. Bundala} et al., J. Comput. Syst. Sci. 84, 185--204 (2017; Zbl 1353.68062) Full Text: DOI arXiv
Codish, Michael; Frank, Michael; Itzhakov, Avraham; Miller, Alice Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking. (English) Zbl 1368.05046 Constraints 21, No. 3, 375-393 (2016). MSC: 05C15 PDFBibTeX XMLCite \textit{M. Codish} et al., Constraints 21, No. 3, 375--393 (2016; Zbl 1368.05046) Full Text: DOI arXiv
Itzhakov, Avraham; Codish, Michael Breaking symmetries in graph search with canonizing sets. (English) Zbl 1368.90137 Constraints 21, No. 3, 357-374 (2016). MSC: 90C27 PDFBibTeX XMLCite \textit{A. Itzhakov} and \textit{M. Codish}, Constraints 21, No. 3, 357--374 (2016; Zbl 1368.90137) Full Text: DOI arXiv
Cuong, C. K.; Heule, M. J. H. Computing maximum unavoidable subgraphs using SAT solvers. (English) Zbl 1475.68236 Creignou, Nadia (ed.) et al., Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9710, 196-211 (2016). MSC: 68R10 68R07 68T20 PDFBibTeX XMLCite \textit{C. K. Cuong} and \textit{M. J. H. Heule}, Lect. Notes Comput. Sci. 9710, 196--211 (2016; Zbl 1475.68236) Full Text: DOI
Friese, Erik; Ladisch, Frieder Affine symmetries of orbit polytopes. (English) Zbl 1330.52017 Adv. Math. 288, 386-425 (2016). MSC: 52B12 52B15 05E15 20B25 20C15 PDFBibTeX XMLCite \textit{E. Friese} and \textit{F. Ladisch}, Adv. Math. 288, 386--425 (2016; Zbl 1330.52017) Full Text: DOI arXiv
Liberti, Leo; Ostrowski, James Stabilizer-based symmetry breaking constraints for mathematical programs. (English) Zbl 1312.90077 J. Glob. Optim. 60, No. 2, 183-194 (2014). MSC: 90C30 PDFBibTeX XMLCite \textit{L. Liberti} and \textit{J. Ostrowski}, J. Glob. Optim. 60, No. 2, 183--194 (2014; Zbl 1312.90077) Full Text: DOI
Ostrowski, James Using symmetry to optimize over the Sherali-Adams relaxation. (English) Zbl 1302.90134 Math. Program. Comput. 6, No. 4, 405-428 (2014). MSC: 90C10 PDFBibTeX XMLCite \textit{J. Ostrowski}, Math. Program. Comput. 6, No. 4, 405--428 (2014; Zbl 1302.90134) Full Text: DOI
Brinkmann, Gunnar; Van Cleemput, Nico; Pisanski, Tomaž Generation of various classes of trivalent graphs. (English) Zbl 1301.05277 Theor. Comput. Sci. 502, 16-29 (2013). MSC: 05C75 05C15 05C85 PDFBibTeX XMLCite \textit{G. Brinkmann} et al., Theor. Comput. Sci. 502, 16--29 (2013; Zbl 1301.05277) Full Text: DOI
Bödi, Richard; Herr, Katrin; Joswig, Michael Algorithms for highly symmetric linear and integer programs. (English) Zbl 1262.90101 Math. Program. 137, No. 1-2 (A), 65-90 (2013). MSC: 90C10 90C05 52B12 PDFBibTeX XMLCite \textit{R. Bödi} et al., Math. Program. 137, No. 1--2 (A), 65--90 (2013; Zbl 1262.90101) Full Text: DOI arXiv
Kang, Byung Kon; Kim, Kee-Eung Exploiting symmetries for single- and multi-agent partially observable stochastic domains. (English) Zbl 1355.91030 Artif. Intell. 182-183, 32-57 (2012). MSC: 91B06 90C35 PDFBibTeX XMLCite \textit{B. K. Kang} and \textit{K.-E. Kim}, Artif. Intell. 182--183, 32--57 (2012; Zbl 1355.91030) Full Text: DOI
Liberti, Leo Reformulations in mathematical programming: automatic symmetry detection and exploitation. (English) Zbl 1235.90103 Math. Program. 131, No. 1-2 (A), 273-304 (2012). MSC: 90C11 90C26 PDFBibTeX XMLCite \textit{L. Liberti}, Math. Program. 131, No. 1--2 (A), 273--304 (2012; Zbl 1235.90103) Full Text: DOI
Ostrowski, James; Linderoth, Jeff; Rossi, Fabrizio; Smriglio, Stefano Solving large Steiner Triple Covering Problems. (English) Zbl 1218.90103 Oper. Res. Lett. 39, No. 2, 127-131 (2011). MSC: 90B80 90C10 90C57 PDFBibTeX XMLCite \textit{J. Ostrowski} et al., Oper. Res. Lett. 39, No. 2, 127--131 (2011; Zbl 1218.90103) Full Text: DOI Link
Ostrowski, James; Linderoth, Jeff; Rossi, Fabrizio; Smriglio, Stefano Orbital branching. (English) Zbl 1206.90101 Math. Program. 126, No. 1 (A), 147-178 (2011). MSC: 90C10 PDFBibTeX XMLCite \textit{J. Ostrowski} et al., Math. Program. 126, No. 1 (A), 147--178 (2011; Zbl 1206.90101) Full Text: DOI
Leuschel, Michael; Massart, Thierry Efficient approximate verification of B and Z models via symmetry markers. (English) Zbl 1209.68127 Ann. Math. Artif. Intell. 59, No. 1, 81-106 (2010). MSC: 68N30 68Q60 68R10 03B70 68N17 PDFBibTeX XMLCite \textit{M. Leuschel} and \textit{T. Massart}, Ann. Math. Artif. Intell. 59, No. 1, 81--106 (2010; Zbl 1209.68127) Full Text: DOI
Donaldson, Alastair F.; Miller, Alice Automatic symmetry detection for Promela. (English) Zbl 1191.68411 J. Autom. Reasoning 41, No. 3-4, 251-293 (2008). MSC: 68Q60 PDFBibTeX XMLCite \textit{A. F. Donaldson} and \textit{A. Miller}, J. Autom. Reasoning 41, No. 3--4, 251--293 (2008; Zbl 1191.68411) Full Text: DOI
Monson, Barry; Weiss, Asia Ivić Medial layer graphs of equivelar 4-polytopes. (English) Zbl 1110.52016 Eur. J. Comb. 28, No. 1, 43-60 (2007). Reviewer: Wolfgang Kühnel (Stuttgart) MSC: 52B15 05C25 51M20 20F55 PDFBibTeX XMLCite \textit{B. Monson} and \textit{A. I. Weiss}, Eur. J. Comb. 28, No. 1, 43--60 (2007; Zbl 1110.52016) Full Text: DOI
Ramani, A.; Markov, I. L.; Sakallah, K. A.; Aloul, F. A. Breaking instance-independent symmetries in exact graph coloring. (English) Zbl 1182.68152 J. Artif. Intell. Res. (JAIR) 26, 289-322 (2006). MSC: 68R10 68T20 PDFBibTeX XMLCite \textit{A. Ramani} et al., J. Artif. Intell. Res. (JAIR) 26, 289--322 (2006; Zbl 1182.68152) Full Text: arXiv
Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M. Symmetry definitions for constraint satisfaction problems. (English) Zbl 1103.68809 Constraints 11, No. 2-3, 115-137 (2006). MSC: 68T20 PDFBibTeX XMLCite \textit{D. Cohen} et al., Constraints 11, No. 2--3, 115--137 (2006; Zbl 1103.68809) Full Text: DOI Link
Margot, François Exploiting orbits in symmetric ILP. (English) Zbl 1082.90070 Math. Program. 98, No. 1-3 (B), 3-21 (2003). MSC: 90C10 90C57 90C08 PDFBibTeX XMLCite \textit{F. Margot}, Math. Program. 98, No. 1--3 (B), 3--21 (2003; Zbl 1082.90070) Full Text: DOI
Margot, François Pruning by isomorphism in branch-and-cut. (English) Zbl 1023.90088 Math. Program. 94, No. 1 (A), 71-90 (2002). MSC: 90C57 90C09 PDFBibTeX XMLCite \textit{F. Margot}, Math. Program. 94, No. 1 (A), 71--90 (2002; Zbl 1023.90088) Full Text: DOI Link
Junttila, Tommi A. Computational complexity of the place/transition-net symmetry reduction method. (English) Zbl 0982.68094 J. UCS 7, No. 4, 307-326 (2001). MSC: 68Q85 68Q25 PDFBibTeX XMLCite \textit{T. A. Junttila}, J. UCS 7, No. 4, 307--326 (2001; Zbl 0982.68094) Full Text: Link