Edit Profile (opens in new tab) Živný, Stanislav Co-Author Distance Author ID: zivny.stanislav Published as: Živný, Stanislav; Zivny, Stanislav; Żivný, Stanislav; Zivny, S. more...less External Links: MGP Documents Indexed: 81 Publications since 2007, including 1 Book and 6 Additional arXiv Preprints 1 Contribution as Editor Co-Authors: 47 Co-Authors with 80 Joint Publications 990 Co-Co-Authors all top 5 Co-Authors 2 single-authored 12 Cohen, David A. 12 Cooper, Martin C. 11 Jeavons, Peter G. 9 Goldberg, Leslie Ann 8 Thapper, Johan 7 Focke, Jacob 7 Wrochna, Marcin 6 Fulla, Peter 5 Ciardo, Lorenzo 5 Krokhin, Andrei A. 4 Bulatov, Andrei A. 4 Carbonnel, Clément 4 Romero, Miguel 3 Iwamasa, Yuni 3 Kolmogorov, Vladimir 3 Murota, Kazuo 2 Brandts, Alex 2 Butti, Silvia 2 Creed, Páidí 2 Hirai, Hiroshi 2 Matl, Gregor 2 Roth, Marc 2 Viola, Caterina 2 Ward, Justin 1 Backens, Miriam 1 Brakensiek, Joshua 1 Escamocher, Guillaume 1 Gaspers, Serge 1 Guruswami, Venkatesan 1 Jerrum, Mark R. 1 Koerkamp, Ragnar Groot 1 Larose, Benoit 1 Marković, Petar 1 Martin, Barnaby D. 1 Mcquillan, Colin 1 Mezei, Balázs F. 1 Misra, Neeldhara 1 Nakajima, Tamio-Vesa 1 Opršal, Jakub 1 Ordyniak, Sebastian 1 Paulusma, Daniël 1 Pelleg, Eden 1 Richerby, David M. 1 Smith, Siani 1 Szeider, Stefan 1 Uppman, Hannes 1 Zanuttini, Bruno all top 5 Serials 7 SIAM Journal on Computing 6 ACM Transactions on Algorithms 6 ACM Transactions on Computation Theory 5 SIAM Journal on Discrete Mathematics 4 Journal of Computer and System Sciences 3 Theoretical Computer Science 2 Information Processing Letters 2 Algorithmica 2 Information and Computation 2 Journal of the ACM 1 Artificial Intelligence 1 Discrete Applied Mathematics 1 The Journal of Artificial Intelligence Research (JAIR) 1 Constraints 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Discrete Optimization 1 Logical Methods in Computer Science 1 Dagstuhl Follow-Ups 1 Cognitive Technologies all top 5 Fields 70 Computer science (68-XX) 25 Operations research, mathematical programming (90-XX) 13 Combinatorics (05-XX) 12 General algebraic systems (08-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 2 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Category theory; homological algebra (18-XX) 1 Manifolds and cell complexes (57-XX) 1 Statistical mechanics, structure of matter (82-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 57 Publications have been cited 355 times in 157 Documents Cited by ▼ Year ▼ The power of linear programming for general-valued CSPs. Zbl 1456.68059 Kolmogorov, Vladimir; Thapper, Johan; Živný, Stanislav 37 2015 The complexity of finite-valued CSPs. Zbl 1410.68177 Thapper, Johan; Živný, Stanislav 25 2016 An algebraic theory of complexity for discrete optimization. Zbl 1305.08007 Cohen, David A.; Cooper, Martin C.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav 24 2013 The complexity of valued constraint satisfaction problems. Zbl 1283.68024 Živný, Stanislav 19 2012 The complexity of conservative valued CSPs. Zbl 1281.68134 Kolmogorov, Vladimir; Živný, Stanislav 19 2013 Maximizing \(k\)-submodular functions and beyond. Zbl 1445.68371 Ward, Justin; Živný, Stanislav 17 2016 Hybrid tractability of valued constraint problems. Zbl 1225.68243 Cooper, Martin C.; Živný, Stanislav 15 2011 The expressive power of binary submodular functions. Zbl 1229.90093 Živný, Stanislav; Cohen, David A.; Jeavons, Peter G. 15 2009 The complexity of finite-valued CSPs. Zbl 1294.68094 Thapper, Johan; Živný, Stanislav 14 2013 The power of Sherali-Adams relaxations for general-valued CSPs. Zbl 1371.68125 Thapper, Johan; Živný, Stanislav 13 2017 Tractable triangles and cross-free convexity in discrete optimisation. Zbl 1254.90309 Cooper, M. C.; Zivny, S. 12 2012 Backdoors into heterogeneous classes of SAT and CSP. Zbl 1356.68097 Gaspers, Serge; Misra, Neeldhara; Ordyniak, Sebastian; Szeider, Stefan; Živný, Stanislav 11 2017 Improved hardness for \(H\)-colourings of \(G\)-colourable graphs. Zbl 1502.68136 Wrochna, Marcin; Živný, Stanislav 11 2020 The complexity of valued constraint satisfaction. Zbl 1409.68141 Jeavons, Peter; Krokhin, Andrei; Živný, Stanislav 10 2014 Sherali-Adams relaxations for valued CSPs. Zbl 1440.68132 Thapper, Johan; Živný, Stanislav 8 2015 Classes of submodular constraints expressible by graph cuts. Zbl 1208.68196 Živný, Stanislav; Jeavons, Peter G. 8 2010 Variable and value elimination in binary constraint satisfaction via forbidden patterns. Zbl 1320.68168 Cohen, David A.; Cooper, Martin C.; Escamocher, Guillaume; Živný, Stanislav 7 2015 The power of the combined basic linear programming and affine relaxation for promise constraint satisfaction problems. Zbl 1496.68255 Brakensiek, Joshua; Guruswami, Venkatesan; Wrochna, Marcin; Živný, Stanislav 6 2020 The complexity of valued CSPs. Zbl 1482.68165 Krokhin, Andrei; Zivny, Stanislav 6 2017 Necessary conditions for tractability of valued CSPs. Zbl 1347.08009 Thapper, Johan; Živný, Stanislav 5 2015 Maximizing bisubmodular and \(k\)-submodular functions. Zbl 1422.68315 Ward, Justin; Živný, Stanislav 5 2014 The power of arc consistency for CSPs defined by partially-ordered forbidden patterns. Zbl 1387.68118 Cooper, Martin C.; Živný, Stanislav 4 2016 The power of arc consistency for CSPs defined by partially-ordered forbidden patterns. Zbl 1387.68117 Cooper, Martin C.; Živný, Stanislav 4 2017 A Galois connection for weighted (relational) clones of infinite size. Zbl 1427.68120 Fulla, Peter; Živný, Stanislav 4 2016 The complexity of Boolean surjective general-valued CSPs. Zbl 1441.68091 Fulla, Peter; Uppman, Hannes; Živný, Stanislav 4 2019 An algebraic theory of complexity for valued constraints: establishing a Galois connection. Zbl 1343.68106 Cohen, David A.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav 3 2011 A Galois connection for valued constraint languages of infinite size. Zbl 1440.68115 Fulla, Peter; Živný, Stanislav 3 2015 Binarisation for valued constraint satisfaction problems. Zbl 1477.68121 Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei; Powell, Robert; Živný, Stanislav 3 2017 The limits of SDP relaxations for general-valued CSPs. Zbl 1452.90279 Thapper, Johan; Živný, Stanislav 3 2017 The complexity of promise SAT on non-Boolean domains. Zbl 1495.68157 Brandts, Alex; Wrochna, Marcin; Živný, Stanislav 3 2021 On planar valued CSPs. Zbl 1398.68232 Fulla, Peter; Živný, Stanislav 2 2016 The expressive power of valued constraints: Hierarchies and collapses. Zbl 1157.68061 Cohen, David A.; Jeavons, Peter G.; Živný, Stanislav 2 2008 The constraint satisfaction problem: complexity and approximability, Dagstuhl seminar 15301, July 2015. Zbl 1375.68019 2 2017 Functional clones and expressibility of partition functions. Zbl 1418.08001 Bulatov, Andrei; Goldberg, Leslie Ann; Jerrum, Mark; Richerby, David; Živný, Stanislav 2 2017 The limits of SDP relaxations for general-valued CSPs. Zbl 1427.90245 Thapper, Johan; Živný, Stanislav 2 2018 On singleton arc consistency for CSPs defined by monotone patterns. Zbl 1421.68151 Carbonnel, Clément; Cohen, David A.; Cooper, Martin C.; Živný, Stanislav 2 2019 Hybrid tractable classes of constraint problems. Zbl 1482.68107 Cooper, Martin C.; Zivny, Stanislav 2 2017 Sparsification of binary CSPs. Zbl 07559126 Butti, Silvia; Živný, Stanislav 2 2019 Discrete convexity in joint winner property. Zbl 1506.90225 Iwamasa, Yuni; Murota, Kazuo; Živný, Stanislav 2 2018 Binary constraint satisfaction problems defined by excluded topological minors. Zbl 1408.68130 Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Živný, Stanislav 2 2019 The expressive power of binary submodular functions. Zbl 1250.68122 Živný, Stanislav; Cohen, David A.; Jeavons, Peter G. 1 2009 The expressive power of valued constraints: Hierarchies and collapses. Zbl 1146.68455 Cohen, David A.; Jeavons, Peter G.; Živný, Stanislav 1 2007 Point-width and max-CSPs. Zbl 07678786 Carbonnel, Clément; Romero, Miguel; Živný, Stanislav 1 2020 The complexity of approximately counting retractions. Zbl 1432.68179 Focke, Jacob; Goldberg, Leslie Ann; Živný, Stanislav 1 2019 A tractable class of binary VCSPs via M-convex intersection. Zbl 1454.68058 Hirai, Hiroshi; Iwamasa, Yuni; Murota, Kazuo; Živný, Stanislav 1 2019 The complexity of conservative valued CSPs. Zbl 1423.68215 Kolmogorov, Vladimir; Živný, Stanislav 1 2012 QCSP on reflexive tournaments. Zbl 07740913 Larose, Benoît; Marković, Petar; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; Żivný, Stanislav 1 2021 On singleton arc consistency for CSPs defined by monotone patterns. Zbl 1487.68208 Carbonnel, Clément; Cohen, David A.; Cooper, Martin C.; Živný, Stanislav 1 2018 Beyond JWP: a tractable class of binary VCSPs via M-convex intersection. Zbl 1454.68059 Hirai, Hiroshi; Iwamasa, Yuni; Murota, Kazuo; Živný, Stanislav 1 2018 Structural properties of oracle classes. Zbl 1206.68134 Živný, Stanislav 1 2009 Approximate counting CSP seen from the other side. Zbl 1499.68239 Bulatov, Andrei A.; Živný, Stanislav 1 2020 Beyond PCSP (1-in-3, NAE). Zbl 07629147 Brandts, Alex; Živný, Stanislav 1 2022 Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin. Zbl 1435.68221 Backens, Miriam; Bulatov, Andrei; Goldberg, Leslie Ann; McQuillan, Colin; Živný, Stanislav 1 2020 The complexity of Boolean surjective general-valued CSPs. Zbl 1440.68116 Fulla, Peter; Živný, Stanislav 1 2017 The complexity of general-valued constraint satisfaction problems seen from the other side. Zbl 07470541 Carbonnel, Clément; Romero, Miguel; Živný, Stanislav 1 2022 The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains. Zbl 07475101 Viola, Caterina; Živný, Stanislav 1 2021 On rainbow-free colourings of uniform hypergraphs. Zbl 1517.05127 Groot Koerkamp, Ragnar; Živný, Stanislav 1 2021 Beyond PCSP (1-in-3, NAE). Zbl 07629147 Brandts, Alex; Živný, Stanislav 1 2022 The complexity of general-valued constraint satisfaction problems seen from the other side. Zbl 07470541 Carbonnel, Clément; Romero, Miguel; Živný, Stanislav 1 2022 The complexity of promise SAT on non-Boolean domains. Zbl 1495.68157 Brandts, Alex; Wrochna, Marcin; Živný, Stanislav 3 2021 QCSP on reflexive tournaments. Zbl 07740913 Larose, Benoît; Marković, Petar; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; Żivný, Stanislav 1 2021 The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains. Zbl 07475101 Viola, Caterina; Živný, Stanislav 1 2021 On rainbow-free colourings of uniform hypergraphs. Zbl 1517.05127 Groot Koerkamp, Ragnar; Živný, Stanislav 1 2021 Improved hardness for \(H\)-colourings of \(G\)-colourable graphs. Zbl 1502.68136 Wrochna, Marcin; Živný, Stanislav 11 2020 The power of the combined basic linear programming and affine relaxation for promise constraint satisfaction problems. Zbl 1496.68255 Brakensiek, Joshua; Guruswami, Venkatesan; Wrochna, Marcin; Živný, Stanislav 6 2020 Point-width and max-CSPs. Zbl 07678786 Carbonnel, Clément; Romero, Miguel; Živný, Stanislav 1 2020 Approximate counting CSP seen from the other side. Zbl 1499.68239 Bulatov, Andrei A.; Živný, Stanislav 1 2020 Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin. Zbl 1435.68221 Backens, Miriam; Bulatov, Andrei; Goldberg, Leslie Ann; McQuillan, Colin; Živný, Stanislav 1 2020 The complexity of Boolean surjective general-valued CSPs. Zbl 1441.68091 Fulla, Peter; Uppman, Hannes; Živný, Stanislav 4 2019 On singleton arc consistency for CSPs defined by monotone patterns. Zbl 1421.68151 Carbonnel, Clément; Cohen, David A.; Cooper, Martin C.; Živný, Stanislav 2 2019 Sparsification of binary CSPs. Zbl 07559126 Butti, Silvia; Živný, Stanislav 2 2019 Binary constraint satisfaction problems defined by excluded topological minors. Zbl 1408.68130 Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Živný, Stanislav 2 2019 The complexity of approximately counting retractions. Zbl 1432.68179 Focke, Jacob; Goldberg, Leslie Ann; Živný, Stanislav 1 2019 A tractable class of binary VCSPs via M-convex intersection. Zbl 1454.68058 Hirai, Hiroshi; Iwamasa, Yuni; Murota, Kazuo; Živný, Stanislav 1 2019 The limits of SDP relaxations for general-valued CSPs. Zbl 1427.90245 Thapper, Johan; Živný, Stanislav 2 2018 Discrete convexity in joint winner property. Zbl 1506.90225 Iwamasa, Yuni; Murota, Kazuo; Živný, Stanislav 2 2018 On singleton arc consistency for CSPs defined by monotone patterns. Zbl 1487.68208 Carbonnel, Clément; Cohen, David A.; Cooper, Martin C.; Živný, Stanislav 1 2018 Beyond JWP: a tractable class of binary VCSPs via M-convex intersection. Zbl 1454.68059 Hirai, Hiroshi; Iwamasa, Yuni; Murota, Kazuo; Živný, Stanislav 1 2018 The power of Sherali-Adams relaxations for general-valued CSPs. Zbl 1371.68125 Thapper, Johan; Živný, Stanislav 13 2017 Backdoors into heterogeneous classes of SAT and CSP. Zbl 1356.68097 Gaspers, Serge; Misra, Neeldhara; Ordyniak, Sebastian; Szeider, Stefan; Živný, Stanislav 11 2017 The complexity of valued CSPs. Zbl 1482.68165 Krokhin, Andrei; Zivny, Stanislav 6 2017 The power of arc consistency for CSPs defined by partially-ordered forbidden patterns. Zbl 1387.68117 Cooper, Martin C.; Živný, Stanislav 4 2017 Binarisation for valued constraint satisfaction problems. Zbl 1477.68121 Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei; Powell, Robert; Živný, Stanislav 3 2017 The limits of SDP relaxations for general-valued CSPs. Zbl 1452.90279 Thapper, Johan; Živný, Stanislav 3 2017 The constraint satisfaction problem: complexity and approximability, Dagstuhl seminar 15301, July 2015. Zbl 1375.68019 2 2017 Functional clones and expressibility of partition functions. Zbl 1418.08001 Bulatov, Andrei; Goldberg, Leslie Ann; Jerrum, Mark; Richerby, David; Živný, Stanislav 2 2017 Hybrid tractable classes of constraint problems. Zbl 1482.68107 Cooper, Martin C.; Zivny, Stanislav 2 2017 The complexity of Boolean surjective general-valued CSPs. Zbl 1440.68116 Fulla, Peter; Živný, Stanislav 1 2017 The complexity of finite-valued CSPs. Zbl 1410.68177 Thapper, Johan; Živný, Stanislav 25 2016 Maximizing \(k\)-submodular functions and beyond. Zbl 1445.68371 Ward, Justin; Živný, Stanislav 17 2016 The power of arc consistency for CSPs defined by partially-ordered forbidden patterns. Zbl 1387.68118 Cooper, Martin C.; Živný, Stanislav 4 2016 A Galois connection for weighted (relational) clones of infinite size. Zbl 1427.68120 Fulla, Peter; Živný, Stanislav 4 2016 On planar valued CSPs. Zbl 1398.68232 Fulla, Peter; Živný, Stanislav 2 2016 The power of linear programming for general-valued CSPs. Zbl 1456.68059 Kolmogorov, Vladimir; Thapper, Johan; Živný, Stanislav 37 2015 Sherali-Adams relaxations for valued CSPs. Zbl 1440.68132 Thapper, Johan; Živný, Stanislav 8 2015 Variable and value elimination in binary constraint satisfaction via forbidden patterns. Zbl 1320.68168 Cohen, David A.; Cooper, Martin C.; Escamocher, Guillaume; Živný, Stanislav 7 2015 Necessary conditions for tractability of valued CSPs. Zbl 1347.08009 Thapper, Johan; Živný, Stanislav 5 2015 A Galois connection for valued constraint languages of infinite size. Zbl 1440.68115 Fulla, Peter; Živný, Stanislav 3 2015 The complexity of valued constraint satisfaction. Zbl 1409.68141 Jeavons, Peter; Krokhin, Andrei; Živný, Stanislav 10 2014 Maximizing bisubmodular and \(k\)-submodular functions. Zbl 1422.68315 Ward, Justin; Živný, Stanislav 5 2014 An algebraic theory of complexity for discrete optimization. Zbl 1305.08007 Cohen, David A.; Cooper, Martin C.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav 24 2013 The complexity of conservative valued CSPs. Zbl 1281.68134 Kolmogorov, Vladimir; Živný, Stanislav 19 2013 The complexity of finite-valued CSPs. Zbl 1294.68094 Thapper, Johan; Živný, Stanislav 14 2013 The complexity of valued constraint satisfaction problems. Zbl 1283.68024 Živný, Stanislav 19 2012 Tractable triangles and cross-free convexity in discrete optimisation. Zbl 1254.90309 Cooper, M. C.; Zivny, S. 12 2012 The complexity of conservative valued CSPs. Zbl 1423.68215 Kolmogorov, Vladimir; Živný, Stanislav 1 2012 Hybrid tractability of valued constraint problems. Zbl 1225.68243 Cooper, Martin C.; Živný, Stanislav 15 2011 An algebraic theory of complexity for valued constraints: establishing a Galois connection. Zbl 1343.68106 Cohen, David A.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav 3 2011 Classes of submodular constraints expressible by graph cuts. Zbl 1208.68196 Živný, Stanislav; Jeavons, Peter G. 8 2010 The expressive power of binary submodular functions. Zbl 1229.90093 Živný, Stanislav; Cohen, David A.; Jeavons, Peter G. 15 2009 The expressive power of binary submodular functions. Zbl 1250.68122 Živný, Stanislav; Cohen, David A.; Jeavons, Peter G. 1 2009 Structural properties of oracle classes. Zbl 1206.68134 Živný, Stanislav 1 2009 The expressive power of valued constraints: Hierarchies and collapses. Zbl 1157.68061 Cohen, David A.; Jeavons, Peter G.; Živný, Stanislav 2 2008 The expressive power of valued constraints: Hierarchies and collapses. Zbl 1146.68455 Cohen, David A.; Jeavons, Peter G.; Živný, Stanislav 1 2007 all cited Publications top 5 cited Publications all top 5 Cited by 219 Authors 34 Živný, Stanislav 12 Hirai, Hiroshi 11 Cooper, Martin C. 10 Cohen, David A. 9 Jeavons, Peter G. 8 Iwamasa, Yuni 7 Krokhin, Andrei A. 7 Ordyniak, Sebastian 7 Szeider, Stefan 6 Ganian, Robert 5 Guruswami, Venkatesan 4 Escamocher, Guillaume 4 Goldberg, Leslie Ann 4 Kolmogorov, Vladimir 4 Kurpisz, Adam 4 Tang, Zhongzheng 4 Thapper, Johan 4 Viola, Caterina 4 Wang, Chenhao 4 Wrochna, Marcin 3 Bodirsky, Manuel 3 Brakensiek, Joshua 3 Carbonnel, Clément 3 Dalmau, Víctor 3 Eiben, Eduard 3 Fujishige, Satoru 3 Fulla, Peter 3 Haviv, Ishay 3 Werner, Tomáš 2 Backens, Miriam 2 Barto, Libor 2 Bulatov, Andrei A. 2 Cabrera, Inma P. 2 Chan, Hau 2 Chen, Jingwen 2 Cordero, Pablo 2 de Wolff, Timo 2 Dlask, Tomáš 2 Dreier, Jan 2 Dressler, Mareike 2 El Mouelhi, Achref 2 García-Pardo, Francisca 2 Greco, Gianluigi 2 Guo, Jianxiong 2 Jerrum, Mark R. 2 Kozik, Marcin 2 Larose, Benoit 2 Mamino, Marcello 2 Matl, Gregor 2 Mcquillan, Colin 2 Meier, Arne 2 Mizutani, Ryuhei 2 Murota, Kazuo 2 Ni, Qiufen 2 Ochremiak, Joanna 2 Ojeda-Aciego, Manuel 2 Oki, Taihei 2 Opršal, Jakub 2 Rodríguez-Sanchez, Francisco Joaquin 2 Roth, Marc 2 Sandeep, Sai 2 Scarcello, Francesco 2 Takhanov, Rustem 2 Tanigawa, Shin-ichi 2 Wahlström, Magnus 2 Wang, Yijing 2 Wu, Weili 2 Yoshida, Yuichi 2 Zanuttini, Bruno 1 Anthony, Martin H. G. 1 Atserias, Albert 1 Benson, Austin R. 1 Bilmes, Jeff A. 1 Boros, Endre 1 Brandts, Alex 1 Briceño, Raimundo 1 Butti, Silvia 1 Chawin, Dror 1 Chen, Hubie 1 Chen, Rong 1 Chen, Xi 1 Cheng, Raymond 1 Chernyak, Vladimir Y. 1 Chertkov, Michael 1 Ciardo, Lorenzo 1 Crama, Yves 1 Cui, Jinchuan 1 Davies, Sami 1 de Givry, Simon 1 Deng, Guofeng 1 Duchein, Aymeric 1 Dvořák, Pavel 1 Dyer, Martin E. 1 Feng, Chao 1 Flach, Boris 1 Focke, Jacob 1 Fujii, Soichiro 1 Gao, Jian 1 Gaspers, Serge 1 Golovnev, Alexander ...and 119 more Authors all top 5 Cited in 41 Serials 14 SIAM Journal on Computing 10 Discrete Applied Mathematics 10 SIAM Journal on Discrete Mathematics 8 Constraints 7 Algorithmica 6 Artificial Intelligence 6 Journal of Computer and System Sciences 6 Theoretical Computer Science 5 Discrete Optimization 4 Mathematical Programming. Series A. Series B 3 Information and Computation 3 Journal of Combinatorial Optimization 2 Algebra Universalis 2 Journal of Combinatorial Theory. Series B 2 International Journal of Algebra and Computation 2 The Journal of Artificial Intelligence Research (JAIR) 2 Annals of Mathematics and Artificial Intelligence 2 ACM Transactions on Algorithms 1 Communications in Mathematical Physics 1 Information Processing Letters 1 Journal of Mathematical Analysis and Applications 1 Information Sciences 1 Operations Research Letters 1 Order 1 Acta Mathematicae Applicatae Sinica. English Series 1 Journal of Complexity 1 Linear Algebra and its Applications 1 Proceedings of the National Academy of Sciences of the United States of America 1 SIAM Review 1 SIAM Journal on Optimization 1 Cybernetics and Systems Analysis 1 The Bulletin of Symbolic Logic 1 Chicago Journal of Theoretical Computer Science 1 Journal of Mathematical Logic 1 Foundations of Computational Mathematics 1 ACM Transactions on Computational Logic 1 Journal of Statistical Mechanics: Theory and Experiment 1 Mathematical Geosciences 1 Discrete Mathematics, Algorithms and Applications 1 Theory of Computing 1 SN Operations Research Forum all top 5 Cited in 22 Fields 116 Computer science (68-XX) 56 Operations research, mathematical programming (90-XX) 33 Combinatorics (05-XX) 19 General algebraic systems (08-XX) 11 Mathematical logic and foundations (03-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 4 Statistical mechanics, structure of matter (82-XX) 3 Algebraic geometry (14-XX) 2 Group theory and generalizations (20-XX) 2 Convex and discrete geometry (52-XX) 2 Quantum theory (81-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Partial differential equations (35-XX) 1 Approximations and expansions (41-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Probability theory and stochastic processes (60-XX) 1 Geophysics (86-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Citations by Year