×
Author ID: bulatov.andrei-a Recent zbMATH articles by "Bulatov, Andrei A."
Published as: Bulatov, Andrei A.; Bulatov, Andrei; Bulatov, A. A.; Bulatov, A.
Further Spellings: Bulatov, Andrei Arnol’dovich
Homepage: https://www.cs.sfu.ca/~abulatov/
External Links: MGP · Google Scholar · ResearchGate · Math-Net.Ru · dblp · GND

Publications by Year

Citations contained in zbMATH Open

65 Publications have been cited 952 times in 484 Documents Cited by Year
Classifying the complexity of constraints using finite algebras. Zbl 1071.08002
Bulatov, Andrei; Jeavons, Peter; Krokhin, Andrei
185
2005
A dichotomy theorem for constraint satisfaction problems on a 3-element set. Zbl 1316.68057
Bulatov, Andrei A.
97
2006
The complexity of partition functions. Zbl 1081.68030
Bulatov, Andrei; Grohe, Martin
48
2005
Complexity of conservative constraint satisfaction problems. Zbl 1351.68113
Bulatov, Andrei A.
46
2011
A simple algorithm for Mal’tsev constraints. Zbl 1112.08002
Bulatov, Andrei; Dalmau, Víctor
39
2006
Towards a dichotomy theorem for the counting constraint satisfaction problem. Zbl 1115.68141
Bulatov, Andrei A.; Dalmau, Víctor
36
2007
The complexity of the counting constraint satisfaction problem. Zbl 1281.68130
Bulatov, Andrei A.
35
2013
Constraint satisfaction problems and finite algebras. Zbl 0973.68181
Bulatov, Andrei A.; Krokhin, Andrei A.; Jeavons, Peter
31
2000
Dualities for constraint satisfaction problems. Zbl 1171.68494
Bulatov, Andrei A.; Krokhin, Andrei; Larose, Benoit
30
2008
\(H\)-coloring dichotomy revisited. Zbl 1086.68052
Bulatov, Andrei A.
24
2005
Recent results on the algebraic approach to the CSP. Zbl 1171.08300
Bulatov, Andrei A.; Valeriote, Matthew A.
24
2008
On the number of finite Mal’tsev algebras. Zbl 0986.08003
Bulatov, Andrei
23
2001
The complexity of the counting constraint satisfaction problem. Zbl 1153.68386
Bulatov, Andrei A.
23
2008
Combinatorial problems raised from 2-semilattices. Zbl 1110.08001
Bulatov, Andrei A.
20
2006
The complexity of constraint satisfaction games and QCSP. Zbl 1188.68269
Börner, F.; Bulatov, A.; Chen, H.; Jeavons, P.; Krokhin, A.
18
2009
Affine systems of equations and counting infinitary logic. Zbl 1168.68040
Atserias, Albert; Bulatov, Andrei; Dawar, Anuj
17
2009
The expressibility of functions on the Boolean domain, with applications to counting CSPs. Zbl 1281.68131
Bulatov, Andrei A.; Dyer, Martin; Goldberg, Leslie Ann; Jerrum, Mark; Mcquillan, Colin
17
2013
The complexity of constraint satisfaction: an algebraic approach. Zbl 1087.68107
Krokhin, Andrei; Bulatov, Andrei; Jeavons, Peter
15
2005
Quantified constraints: Algorithms and complexity. Zbl 1116.03314
Börner, Ferdinand; Bulatov, Andrei; Jeavons, Peter; Krokhin, Andrei
14
2003
An algebraic approach to multi-sorted constraints. Zbl 1273.68337
Bulatov, Andrei A.; Jeavons, Peter
14
2003
The complexity of weighted Boolean #CSP with mixed signs. Zbl 1171.68013
Bulatov, Andrei; Dyer, Martin; Goldberg, Leslie Ann; Jalsenius, Markus; Richerby, David
14
2009
Conservative constraint satisfaction re-revisited. Zbl 1346.68108
Bulatov, Andrei A.
14
2016
The complexity of weighted and unweighted \(\#\)CSP. Zbl 1282.68110
Bulatov, Andrei; Dyer, Martin; Goldberg, Leslie Ann; Jalsenius, Markus; Jerrum, Mark; Richerby, David
13
2012
The complexity of maximal constraint languages. Zbl 1323.68294
Bulatov, Andrei; Krokhin, Andrei; Jeavons, Peter
13
2001
On the power of \(k\)-consistency. Zbl 1171.68720
Atserias, Albert; Bulatov, Andrei; Dalmau, Victor
12
2007
Polynomial clones containing the Mal’tsev operation of the groups \(\mathbb{Z}_{p^2}\) and \(\mathbb{Z}_p\times\mathbb{Z}_p\). Zbl 1022.08001
Bulatov, Andrei A.
12
2002
Enumerating homomorphisms. Zbl 1253.68165
Bulatov, Andrei A.; Dalmau, Víctor; Grohe, Martin; Marx, Dániel
10
2012
The complexity of partition functions. Zbl 1098.68616
Bulatov, Andrei; Grohe, Martin
9
2004
The subpower membership problem for finite algebras with cube terms. Zbl 1515.08004
Bulatov, Andrei; Mayr, Peter; Szendrei, Ágnes
8
2019
Graphs of relational structures: restricted types. Zbl 1401.68112
Bulatov, Andrei A.
6
2016
The complexity of global cardinality constraints. Zbl 1202.68208
Bulatov, Andrei A.; Marx, Daniel
6
2010
Finite sublattices in the lattice of clones. Zbl 0838.06006
Bulatov, A. A.
5
1994
Affine systems of equations and counting infinitary logic. Zbl 1171.68721
Atserias, Albert; Bulatov, Andrei; Dawar, Anuj
5
2007
The subpower membership problem for semigroups. Zbl 1395.20033
Bulatov, Andrei; Kozik, Marcin; Mayr, Peter; Steindl, Markus
5
2016
Finite semigroups imposing tractable constraints. Zbl 1032.20037
Bulatov, Andrei; Jeavons, Peter; Volkov, Mikhail
5
2002
The property of being polynomial for Mal’tsev constraint satisfaction problems. Zbl 1164.08307
Bulatov, A. A.
4
2006
Identities in the lattices of closed classes. Zbl 0802.03020
Bulatov, A. A.
4
1992
Constraint satisfaction parameterized by solution size. Zbl 1360.68499
Bulatov, Andrei A.; Marx, Dániel
4
2014
Lower bounds on words separation: are there short identities in transformation semigroups? Zbl 1372.68156
Bulatov, Andrei A.; Karpova, Olga; Shur, Arseny M.; Startsev, Konstantin
4
2017
Galois correspondence for counting quantifiers. Zbl 1394.08009
Bulatov, Andrei A.; Hedayaty, Amir
4
2015
Learning intersection-closed classes with signatures. Zbl 1127.68044
Bulatov, Andrei; Chen, Hubie; Dalmau, Víctor
3
2007
Polynomial reducts of modules. I. Rough classification. Zbl 0909.08003
Bulatov, A. A.
3
1998
Counting problems and clones of functions. Zbl 1236.68194
Bulatov, Andrei A.; Hedayaty, Amir
3
2012
Learnability of relatively quantified generalized formulas. Zbl 1110.68391
Bulatov, Andrei; Chen, Hubie; Dalmau, Víctor
3
2004
Counting Mal’tsev clones on small sets. Zbl 1023.08004
Bulatov, Andrei A.; Idziak, Paweł M.
3
2003
Constraint satisfaction problems: complexity and algorithms. Zbl 1504.68151
Bulatov, Andrei A.
3
2018
Log-supermodular functions, functional clones and counting CSPs. Zbl 1245.68100
Bulatov, Andrei A.; Dyer, Martin; Goldberg, Leslie Ann; Jerrum, Mark
2
2012
Polynomial reducts of modules. II. Algebras of primitive and nilpotent functions. Zbl 0923.08002
Bulatov, A. A.
2
1998
Three-element Mal’tsev algebras. Zbl 1104.08001
Bulatov, Andrei A.
2
2005
Phase transition for local search on planted SAT. Zbl 1465.68232
Bulatov, Andrei A.; Skvortsov, Evgeny S.
2
2015
The complexity of the conservative generalized satisfiability problem. Zbl 1378.68065
Bulatov, A. A.
2
2004
Functional clones and expressibility of partition functions. Zbl 1418.08001
Bulatov, Andrei; Goldberg, Leslie Ann; Jerrum, Mark; Richerby, David; Živný, Stanislav
2
2017
Dismantlability, connectedness, and mixing in relational structures. Zbl 1503.08002
Briceño, Raimundo; Bulatov, Andrei; Dalmau, Víctor; Larose, Benoît
2
2021
Satisfiability threshold for power law random 2-SAT in configuration model. Zbl 1441.68234
Omelchenko, Oleksii; Bulatov, Andrei A.
2
2019
Satisfiability threshold for power law random 2-SAT in configuration model. Zbl 1514.68275
Omelchenko, Oleksii; Bulatov, Andrei A.
2
2021
Sublattices of the lattice of clones of functions on a 3-element set. II. Zbl 0949.06001
Bulatov, A. A.
1
1999
On the structure of clone lattices. Zbl 0824.08004
Bulatov, A.; Krokhin, A.; Safin, K.; Sukhanov, E.
1
1995
On the CSP dichotomy conjecture. Zbl 1332.68065
Bulatov, Andrei A.
1
2011
Computer science – theory and applications. 8th international computer science symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25–29, 2013. Proceedings. Zbl 1264.68003
1
2013
Boolean max-co-clones. Zbl 1348.08004
Bulatov, Andrei A.
1
2015
Constraint satisfaction problems over semilattice block Mal’tsev algebras. Zbl 1458.68071
Bulatov, Andrei A.
1
2017
Constraint satisfaction problems over semilattice block Mal’tsev algebras. Zbl 1434.68191
Bulatov, Andrei A.
1
2019
Approximate counting CSP seen from the other side. Zbl 1499.68239
Bulatov, Andrei A.; Živný, Stanislav
1
2020
Counting homomorphisms modulo a prime number. Zbl 07561703
Kazeminia, Amirhossein; Bulatov, Andrei A.
1
2019
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
Dismantlability, connectedness, and mixing in relational structures. Zbl 1503.08002
Briceño, Raimundo; Bulatov, Andrei; Dalmau, Víctor; Larose, Benoît
2
2021
Satisfiability threshold for power law random 2-SAT in configuration model. Zbl 1514.68275
Omelchenko, Oleksii; Bulatov, Andrei A.
2
2021
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 subpower membership problem for finite algebras with cube terms. Zbl 1515.08004
Bulatov, Andrei; Mayr, Peter; Szendrei, Ágnes
8
2019
Satisfiability threshold for power law random 2-SAT in configuration model. Zbl 1441.68234
Omelchenko, Oleksii; Bulatov, Andrei A.
2
2019
Constraint satisfaction problems over semilattice block Mal’tsev algebras. Zbl 1434.68191
Bulatov, Andrei A.
1
2019
Counting homomorphisms modulo a prime number. Zbl 07561703
Kazeminia, Amirhossein; Bulatov, Andrei A.
1
2019
Constraint satisfaction problems: complexity and algorithms. Zbl 1504.68151
Bulatov, Andrei A.
3
2018
Lower bounds on words separation: are there short identities in transformation semigroups? Zbl 1372.68156
Bulatov, Andrei A.; Karpova, Olga; Shur, Arseny M.; Startsev, Konstantin
4
2017
Functional clones and expressibility of partition functions. Zbl 1418.08001
Bulatov, Andrei; Goldberg, Leslie Ann; Jerrum, Mark; Richerby, David; Živný, Stanislav
2
2017
Constraint satisfaction problems over semilattice block Mal’tsev algebras. Zbl 1458.68071
Bulatov, Andrei A.
1
2017
Conservative constraint satisfaction re-revisited. Zbl 1346.68108
Bulatov, Andrei A.
14
2016
Graphs of relational structures: restricted types. Zbl 1401.68112
Bulatov, Andrei A.
6
2016
The subpower membership problem for semigroups. Zbl 1395.20033
Bulatov, Andrei; Kozik, Marcin; Mayr, Peter; Steindl, Markus
5
2016
Galois correspondence for counting quantifiers. Zbl 1394.08009
Bulatov, Andrei A.; Hedayaty, Amir
4
2015
Phase transition for local search on planted SAT. Zbl 1465.68232
Bulatov, Andrei A.; Skvortsov, Evgeny S.
2
2015
Boolean max-co-clones. Zbl 1348.08004
Bulatov, Andrei A.
1
2015
Constraint satisfaction parameterized by solution size. Zbl 1360.68499
Bulatov, Andrei A.; Marx, Dániel
4
2014
The complexity of the counting constraint satisfaction problem. Zbl 1281.68130
Bulatov, Andrei A.
35
2013
The expressibility of functions on the Boolean domain, with applications to counting CSPs. Zbl 1281.68131
Bulatov, Andrei A.; Dyer, Martin; Goldberg, Leslie Ann; Jerrum, Mark; Mcquillan, Colin
17
2013
Computer science – theory and applications. 8th international computer science symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25–29, 2013. Proceedings. Zbl 1264.68003
1
2013
The complexity of weighted and unweighted \(\#\)CSP. Zbl 1282.68110
Bulatov, Andrei; Dyer, Martin; Goldberg, Leslie Ann; Jalsenius, Markus; Jerrum, Mark; Richerby, David
13
2012
Enumerating homomorphisms. Zbl 1253.68165
Bulatov, Andrei A.; Dalmau, Víctor; Grohe, Martin; Marx, Dániel
10
2012
Counting problems and clones of functions. Zbl 1236.68194
Bulatov, Andrei A.; Hedayaty, Amir
3
2012
Log-supermodular functions, functional clones and counting CSPs. Zbl 1245.68100
Bulatov, Andrei A.; Dyer, Martin; Goldberg, Leslie Ann; Jerrum, Mark
2
2012
Complexity of conservative constraint satisfaction problems. Zbl 1351.68113
Bulatov, Andrei A.
46
2011
On the CSP dichotomy conjecture. Zbl 1332.68065
Bulatov, Andrei A.
1
2011
The complexity of global cardinality constraints. Zbl 1202.68208
Bulatov, Andrei A.; Marx, Daniel
6
2010
The complexity of constraint satisfaction games and QCSP. Zbl 1188.68269
Börner, F.; Bulatov, A.; Chen, H.; Jeavons, P.; Krokhin, A.
18
2009
Affine systems of equations and counting infinitary logic. Zbl 1168.68040
Atserias, Albert; Bulatov, Andrei; Dawar, Anuj
17
2009
The complexity of weighted Boolean #CSP with mixed signs. Zbl 1171.68013
Bulatov, Andrei; Dyer, Martin; Goldberg, Leslie Ann; Jalsenius, Markus; Richerby, David
14
2009
Dualities for constraint satisfaction problems. Zbl 1171.68494
Bulatov, Andrei A.; Krokhin, Andrei; Larose, Benoit
30
2008
Recent results on the algebraic approach to the CSP. Zbl 1171.08300
Bulatov, Andrei A.; Valeriote, Matthew A.
24
2008
The complexity of the counting constraint satisfaction problem. Zbl 1153.68386
Bulatov, Andrei A.
23
2008
Towards a dichotomy theorem for the counting constraint satisfaction problem. Zbl 1115.68141
Bulatov, Andrei A.; Dalmau, Víctor
36
2007
On the power of \(k\)-consistency. Zbl 1171.68720
Atserias, Albert; Bulatov, Andrei; Dalmau, Victor
12
2007
Affine systems of equations and counting infinitary logic. Zbl 1171.68721
Atserias, Albert; Bulatov, Andrei; Dawar, Anuj
5
2007
Learning intersection-closed classes with signatures. Zbl 1127.68044
Bulatov, Andrei; Chen, Hubie; Dalmau, Víctor
3
2007
A dichotomy theorem for constraint satisfaction problems on a 3-element set. Zbl 1316.68057
Bulatov, Andrei A.
97
2006
A simple algorithm for Mal’tsev constraints. Zbl 1112.08002
Bulatov, Andrei; Dalmau, Víctor
39
2006
Combinatorial problems raised from 2-semilattices. Zbl 1110.08001
Bulatov, Andrei A.
20
2006
The property of being polynomial for Mal’tsev constraint satisfaction problems. Zbl 1164.08307
Bulatov, A. A.
4
2006
Classifying the complexity of constraints using finite algebras. Zbl 1071.08002
Bulatov, Andrei; Jeavons, Peter; Krokhin, Andrei
185
2005
The complexity of partition functions. Zbl 1081.68030
Bulatov, Andrei; Grohe, Martin
48
2005
\(H\)-coloring dichotomy revisited. Zbl 1086.68052
Bulatov, Andrei A.
24
2005
The complexity of constraint satisfaction: an algebraic approach. Zbl 1087.68107
Krokhin, Andrei; Bulatov, Andrei; Jeavons, Peter
15
2005
Three-element Mal’tsev algebras. Zbl 1104.08001
Bulatov, Andrei A.
2
2005
The complexity of partition functions. Zbl 1098.68616
Bulatov, Andrei; Grohe, Martin
9
2004
Learnability of relatively quantified generalized formulas. Zbl 1110.68391
Bulatov, Andrei; Chen, Hubie; Dalmau, Víctor
3
2004
The complexity of the conservative generalized satisfiability problem. Zbl 1378.68065
Bulatov, A. A.
2
2004
Quantified constraints: Algorithms and complexity. Zbl 1116.03314
Börner, Ferdinand; Bulatov, Andrei; Jeavons, Peter; Krokhin, Andrei
14
2003
An algebraic approach to multi-sorted constraints. Zbl 1273.68337
Bulatov, Andrei A.; Jeavons, Peter
14
2003
Counting Mal’tsev clones on small sets. Zbl 1023.08004
Bulatov, Andrei A.; Idziak, Paweł M.
3
2003
Polynomial clones containing the Mal’tsev operation of the groups \(\mathbb{Z}_{p^2}\) and \(\mathbb{Z}_p\times\mathbb{Z}_p\). Zbl 1022.08001
Bulatov, Andrei A.
12
2002
Finite semigroups imposing tractable constraints. Zbl 1032.20037
Bulatov, Andrei; Jeavons, Peter; Volkov, Mikhail
5
2002
On the number of finite Mal’tsev algebras. Zbl 0986.08003
Bulatov, Andrei
23
2001
The complexity of maximal constraint languages. Zbl 1323.68294
Bulatov, Andrei; Krokhin, Andrei; Jeavons, Peter
13
2001
Constraint satisfaction problems and finite algebras. Zbl 0973.68181
Bulatov, Andrei A.; Krokhin, Andrei A.; Jeavons, Peter
31
2000
Sublattices of the lattice of clones of functions on a 3-element set. II. Zbl 0949.06001
Bulatov, A. A.
1
1999
Polynomial reducts of modules. I. Rough classification. Zbl 0909.08003
Bulatov, A. A.
3
1998
Polynomial reducts of modules. II. Algebras of primitive and nilpotent functions. Zbl 0923.08002
Bulatov, A. A.
2
1998
On the structure of clone lattices. Zbl 0824.08004
Bulatov, A.; Krokhin, A.; Safin, K.; Sukhanov, E.
1
1995
Finite sublattices in the lattice of clones. Zbl 0838.06006
Bulatov, A. A.
5
1994
Identities in the lattices of closed classes. Zbl 0802.03020
Bulatov, A. A.
4
1992
all top 5

Cited by 456 Authors

33 Živný, Stanislav
29 Cai, Jin-Yi
28 Bodirsky, Manuel
24 Bulatov, Andrei A.
21 Krokhin, Andrei A.
20 Chen, Hubie
19 Martin, Barnaby D.
17 Jonsson, Peter
16 Goldberg, Leslie Ann
14 Cooper, Martin C.
14 Hell, Pavol
13 Dalmau, Víctor
13 Lu, Pinyan
13 Pinsker, Michael
12 Jeavons, Peter G.
12 Larose, Benoit
11 Barto, Libor
11 Cohen, David A.
11 Kozik, Marcin
10 Aichinger, Erhard
10 Richerby, David M.
10 Valeriote, Matthew A.
9 Mayr, Peter
8 Dyer, Martin E.
8 Jerrum, Mark R.
7 Bova, Simone
7 Feder, Tomás
7 Fu, Zhiguo
7 Rafiey, Arash
7 Thapper, Johan
7 Zhuk, Dmitriy N.
6 Grädel, Erich
6 Greco, Gianluigi
6 Grohe, Martin
6 Guo, Heng
6 Guruswami, Venkatesan
6 Kowalczyk, Michael
6 Madelaine, Florent R.
6 Mottet, Antoine
6 Opršal, Jakub
6 Scarcello, Francesco
5 Atserias, Albert
5 Dawar, Anuj
5 Göbel, Andreas-Nikolas
5 Hermann, Miki
5 Lagerkvist, Victor
5 Mudrinski, Nebojša
5 Nešetřil, Jaroslav
5 Niven, Todd
5 Willard, Ross
5 Xia, Mingji
4 Brakensiek, Joshua
4 Bulín, Jakub
4 Carvalho, Catarina A.
4 Fan, Austen Z.
4 Huang, Jing
4 Jackson, Marcel G.
4 Kazda, Alexandr
4 Kolmogorov, Vladimir
4 Marx, Dániel
4 Nordh, Gustav
4 Olšák, Miroslav
4 Pakusa, Wied
4 Pongrácz, András
4 Selezneva, Svetlana Nikolaevna
4 Siggers, Mark H.
4 Štefankovič, Daniel
4 Szeider, Stefan
4 Turner, Jacob M.
4 Vigoda, Eric
4 Williams, Tyson
4 Wires, Alexander
4 Zádori, László
3 Behrisch, Mike
3 Carbonnel, Clément
3 Chen, Xi
3 Creignou, Nadia
3 Curticapean, Radu
3 Egri, László
3 Fioravanti, Stefano
3 Fulla, Peter
3 Galanis, Andreas
3 Gottlob, Georg
3 Gutin, Gregory Z.
3 Idziak, Paweł M.
3 Jalsenius, Markus
3 Kára, Jan
3 Kirousis, Lefteris Miltiades
3 Kolaitis, Phokion G.
3 Krzaczkowski, Jacek
3 Lin, Jiabao
3 Livieratos, John
3 Lutz, Carsten
3 Maróti, Miklós
3 McKenzie, Ralph N.
3 Mcquillan, Colin
3 Moorhead, Andrew
3 Ochremiak, Joanna
3 Okrasa, Karolina
3 Romero, Miguel
...and 356 more Authors
all top 5

Cited in 80 Serials

36 Algebra Universalis
35 Theoretical Computer Science
34 SIAM Journal on Computing
24 Journal of Computer and System Sciences
21 International Journal of Algebra and Computation
16 Theory of Computing Systems
15 Information and Computation
14 Artificial Intelligence
14 Constraints
13 Discrete Applied Mathematics
10 Logical Methods in Computer Science
9 European Journal of Combinatorics
7 Algorithmica
7 SIAM Journal on Discrete Mathematics
6 Computational Complexity
5 Information Processing Letters
5 Journal of Algebra
5 ACM Transactions on Computational Logic
4 Discrete Mathematics
4 Transactions of the American Mathematical Society
4 Annals of Mathematics and Artificial Intelligence
3 Israel Journal of Mathematics
3 Journal of Combinatorial Theory. Series B
3 Proceedings of the American Mathematical Society
3 Semigroup Forum
3 Combinatorica
3 Order
3 Discrete Mathematics and Applications
3 The Journal of Artificial Intelligence Research (JAIR)
3 Journal of Machine Learning Research (JMLR)
3 Journal of Multiple-Valued Logic and Soft Computing
3 Chebyshevskiĭ Sbornik
2 Communications in Mathematical Physics
2 Journal of Statistical Physics
2 Advances in Mathematics
2 Bulletin of the London Mathematical Society
2 Results in Mathematics
2 Acta Mathematica Hungarica
2 Random Structures & Algorithms
2 Combinatorics, Probability and Computing
2 Journal of Mathematical Sciences (New York)
2 Journal of the ACM
2 Journal of the Australian Mathematical Society
2 Computer Science Review
2 ACM Transactions on Computation Theory
1 Journal of Mathematical Analysis and Applications
1 Zhurnal Vychislitel’noĭ Matematiki i Matematicheskoĭ Fiziki
1 Algebra and Logic
1 Canadian Mathematical Bulletin
1 Journal of Combinatorial Theory. Series A
1 Journal of the London Mathematical Society. Second Series
1 The Journal of Symbolic Logic
1 Kyungpook Mathematical Journal
1 Monatshefte für Mathematik
1 Siberian Mathematical Journal
1 Studia Logica
1 Moscow University Computational Mathematics and Cybernetics
1 Advances in Applied Mathematics
1 Journal of Symbolic Computation
1 International Journal of Approximate Reasoning
1 Forum Mathematicum
1 Neural Computation
1 Mathematica Bohemica
1 Linear Algebra and its Applications
1 Proceedings of the National Academy of Sciences of the United States of America
1 Cybernetics and Systems Analysis
1 The Electronic Journal of Combinatorics
1 The Bulletin of Symbolic Logic
1 Journal of Automata, Languages and Combinatorics
1 Chicago Journal of Theoretical Computer Science
1 Journal of Graph Algorithms and Applications
1 Journal of the European Mathematical Society (JEMS)
1 Journal of Mathematical Logic
1 Theory and Practice of Logic Programming
1 Journal of Algebra and its Applications
1 Oberwolfach Reports
1 ACM Transactions on Algorithms
1 Diskretnyĭ Analiz i Issledovanie Operatsiĭ
1 Research in the Mathematical Sciences
1 Bulletin of the Hellenic Mathematical Society

Citations by Year