Булатов, Андрей Арнольдович

В Википедии есть статьи о других людях с такой фамилией, см. Булатов; Булатов, Андрей.
Андрей Арнольдович Булатов
Дата рождения 11.01.1969[1]
Место рождения Алапаевск
Страна  СССР →  Россия
Род деятельности математик
Место работы
Альма-матер Уральский государственный университет
Учёная степень д.ф.-м.н.
Учёное звание профессор
Научный руководитель Evgeny Vital'evich Sukhanov[вд][2]
Награды и премии
Внешние изображения
Фотография Андрея Арнольдовича Булатова

Андрей Арнольдович Булатов (род. 11 января 1969, Алапаевск, СССР) — доктор физико-математических наук, профессор, доцент, лауреат премии Гёделя (2021).

Биография

Родился в Алапаевске Свердловской области.

Окончил математико-механический факультет Уральского государственного университета по специальности «математика». По 2002 год работал в УрГУ, с 2002 по 2005 год обучался в докторантуре университета под руководством профессора Л. Н. Шеврина. В настоящее время работает в Университете Саймона Фрейзера в Канаде.

Автор множества научных и учебно-методических работ. Выполнил циклы исследований по решеткам клонов и по приложениям универсальной алгебры к теории сложности вычислений. В 2002 году был удостоен приза за лучшую работу на 43-м Международном симпозиуме по основаниям компьютерных наук в Ванкувере в США. Лауреат премии УФУ за высокие достижения в учебно-методической деятельности в 2006 году[1][3][4][5].

Основные труды

  • Bulatov, Andrei A. Constraint satisfaction problems: complexity and algorithms. (English) Zbl 06894736 Klein, Shmuel Tomi (ed.) et al., Language and automata theory and applications. 12th international conference, LATA 2018, Ramat Gan, Israel, April 9—11, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-77312-4/pbk; 978-3-319-77313-1/ebook). Lecture Notes in Computer Science 10792, 1-25 (2018). MSC: 68Q45
  • Bulatov, Andrei A. (ed.); Hirsch, Edward A. (ed.); Pin, Jean-Éric (ed.) Preface. (English) Zbl 1372.00093 Theory Comput. Syst. 61, No. 2, 261—262 (2017). MSC: 00B25 68-06
  • Bulatov, Andrei A.; Karpova, Olga; Shur, Arseny M.; Startsev, Konstantin Lower bounds on words separation: are there short identities in transformation semigroups? (English) Zbl 1372.68156 Electron. J. Comb. 24, No. 3, Research Paper P3.35, 12 p. (2017). MSC: 68Q45 20B30 20M20 68Q70 68R15
  • Bulatov, Andrei; Goldberg, Leslie Ann; Jerrum, Mark; Richerby, David; Živný, Stanislav Functional clones and expressibility of partition functions. (English) Zbl 06730360 Theor. Comput. Sci. 687, 11-39 (2017). MSC: 08A40
  • Bulatov, Andrei A. Graphs of relational structures, restricted types. (English) Zbl 06863534 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5—8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 642—651 (2016). MSC: 68Q25 05C25
  • Bulatov, A. (ed.); Kreutzer, S. (ed.) Preface. (English) Zbl 1354.00085 Theory Comput. Syst. 59, No. 2, 159—160 (2016). MSC: 00B25 68-06
  • Bulatov, Andrei; Kozik, Marcin; Mayr, Peter; Steindl, Markus The subpower membership problem for semigroups. (English) Zbl 06663545 Int. J. Algebra Comput. 26, No. 7, 1435—1451 (2016). MSC: 20M99 68Q25
  • Bulatov, Andrei A. Conservative constraint satisfaction re-revisited. (English) Zbl 1346.68108 J. Comput. Syst. Sci. 82, No. 2, 347—356 (2016). MSC: 68Q25
  • Bulatov, Andrei A.; Hedayaty, Amir Galois correspondence for counting quantifiers. (English) Zbl 06930501 J. Mult.-Val. Log. Soft Comput. 24, No. 5-6, 405—424 (2015). MSC: 08A70 08A40 06A15 68Q25
  • Bulatov, Andrei A.; Skvortsov, Evgeny S. Phase transition for local search on planted SAT. (English) Zbl 06482807 Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24—28, 2015. Proceedings. Part II. Berlin: Springer (ISBN 978-3-662-48053-3/pbk; 978-3-662-48054-0/ebook). Lecture Notes in Computer Science 9235, 175—186 (2015). MSC: 68Qxx
  • Bulatov, Andrei A. Boolean max-co-clones. (English) Zbl 1348.08004 Algebra Univers. 74, No. 1-2, 139—162 (2015). Reviewer: Lavinia Ciungu (Iowa City) MSC: 08A70 08A40 06B99
  • Bulatov, Andrei A. Counting constraint satisfaction problems. (English) Zbl 1373.68255 Jang, Sun Young (ed.) et al., Proceedings of the International Congress of Mathematicians (ICM 2014), Seoul, Korea, August 13—21, 2014. Vol. IV: Invited lectures. Seoul: KM Kyung Moon Sa (ISBN 978-89-6105-807-0/hbk; 978-89-6105-803-2/set). 561—584 (2014). MSC: 68Q25 68Q17
  • Bulatov, Andrei A.; Wang, Cong Approximating highly satisfiable random 2-SAT. (English) Zbl 06348076 Sinz, Carsten (ed.) et al., Theory and applications of satisfiability testing — SAT 2014. 17th international conference, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14—17, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-09283-6/pbk). Lecture Notes in Computer Science 8561, 384—398 (2014). MSC: 68Q25 68T20
  • Bulatov, Andrei A.; Marx, Dániel Constraint satisfaction parameterized by solution size. (English) Zbl 1360.68499 SIAM J. Comput. 43, No. 2, 573—616 (2014). MSC: 68Q25 68Q17
  • Bulatov, Andrei; Dalmau, Victor; Thurley, Marc Descriptive complexity of approximate counting CSPs. (English) Zbl 1356.68090 Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2—5, 2013. Wadern: Schloss Dagstuhl — Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPICS — Leibniz International Proceedings in Informatics 23, 149—164 (2013). MSC: 68Q19
  • Bulatov, Andrei A. The complexity of the counting constraint satisfaction problem. (English) Zbl 1281.68130 J. ACM 60, No. 5, Article No. 34, 41 p. (2013). MSC: 68Q25 08A40 08A70 68Q15 68T20
  • Bulatov, Andrei A.; Dyer, Martin; Goldberg, Leslie Ann; Jerrum, Mark; Mcquillan, Colin The expressibility of functions on the Boolean domain, with applications to counting CSPs. (English) Zbl 1281.68131 J. ACM 60, No. 5, Article No. 32, 36 p. (2013). MSC: 68Q25 68W25 90C60
  • Bulatov, Andrei A. (ed.); Shur, Arseny M. (ed.) Computer science — theory and applications. 8th international computer science symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25—29, 2013. Proceedings. (English) Zbl 1264.68003 Lecture Notes in Computer Science 7913. Berlin: Springer (ISBN 978-3-642-38535-3/pbk). xii, 445 p. (2013). MSC: 68-06 68Qxx 00B25
  • Bulatov, Andrei A.; Dyer, Martin; Goldberg, Leslie Ann; Jerrum, Mark Log-supermodular functions, functional clones and counting CSPs. (English) Zbl 1245.68100 Dürr, Christoph (ed.) et al., STACS 2012. 29th international symposium on theoretical aspects of computer science, Paris, France, February 29th — March 3rd, 2012. Wadern: Schloss Dagstuhl — Leibniz Zentrum für Informatik (ISBN 978-3-939897-35-4). LIPICS — Leibniz International Proceedings in Informatics 14, 302—313, electronic only (2012). MSC: 68Q25 68Q15
  • Bulatov, Andrei; Dyer, Martin; Goldberg, Leslie Ann; Jalsenius, Markus; Jerrum, Mark; Richerby, David The complexity of weighted and unweighted #CSP. (English) Zbl 1282.68110 J. Comput. Syst. Sci. 78, No. 2, 681—688 (2012). MSC: 68Q15
  • Bulatov, Andrei A.; Dalmau, Víctor; Grohe, Martin; Marx, Dániel Enumerating homomorphisms. (English) Zbl 1253.68165 J. Comput. Syst. Sci. 78, No. 2, 638—650 (2012). MSC: 68Q25 05C30 68R05
  • Bulatov, Andrei A.; Hedayaty, Amir Counting problems and clones of functions. (English) Zbl 1236.68194 J. Mult.-Val. Log. Soft Comput. 18, No. 2, 117—138 (2012). MSC: 68R05 03B50 08A40 68Q25
  • Bulatov, Andrei A. Complexity of conservative constraint satisfaction problems. (English) Zbl 1351.68113 ACM Trans. Comput. Log. 12, No. 4, Article No. 24, 66 p. (2011). MSC: 68Q25 05C15 68T20
  • Bulatov, Andrei A.; Marx, Dániel Constraint satisfaction parameterized by solution size. (English) Zbl 1333.68136 Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4—8, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-22005-0/pbk). Lecture Notes in Computer Science 6755, 424—436 (2011). MSC: 68Q25 68Q17
  • Bulatov, Andrei A. On the CSP dichotomy conjecture. (English) Zbl 1332.68065 Kulikov, Alexander (ed.) et al., Computer science — theory and applications. 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14—18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20711-2/pbk). Lecture Notes in Computer Science 6651, 331—344 (2011). MSC: 68Q25 68T20
  • Bulatov, Andrei A.; Marx, Daniel The complexity of global cardinality constraints. (English) Zbl 1202.68208 Log. Methods Comput. Sci. 6, No. 4, Paper No. 4, 27 p. (2010). MSC: 68Q25
  • Bulatov, Andrei A.; Dalmau, Víctor; Grohe, Martin; Marx, Dániel Enumerating homomorphisms. (English) Zbl 1236.68105 Albers, Susanne (ed.) et al., STACS 2009. 26th international symposium on theoretical aspects of computer science, Freiburg, Germany, February 26—28, 2009. Wadern: Schloss Dagstuhl — Leibniz Zentrum für Informatik (ISBN 978-3-939897-09-5). LIPICS — Leibniz International Proceedings in Informatics 3, 231—242, electronic only (2009). MSC: 68Q25 05C30 68R05
  • Börner, F.; Bulatov, A.; Chen, H.; Jeavons, P.; Krokhin, A. The complexity of constraint satisfaction games and QCSP. (English) Zbl 1188.68269 Inf. Comput. 207, No. 9, 923—944 (2009). MSC: 68T20 68Q25 91A05
  • Bulatov, Andrei; Dyer, Martin; Goldberg, Leslie Ann; Jalsenius, Markus; Richerby, David The complexity of weighted Boolean #CSP with mixed signs. (English) Zbl 1171.68013 Theor. Comput. Sci. 410, No. 38-40, 3949-3961 (2009). MSC: 68Q25 68T20
  • Atserias, Albert; Bulatov, Andrei; Dawar, Anuj Affine systems of equations and counting infinitary logic. (English) Zbl 1168.68040 Theor. Comput. Sci. 410, No. 18, 1666—1683 (2009). MSC: 68T20 03C13 03C75 08A70 68Q25
  • Bulatov, Andrei A.; Krokhin, Andrei; Larose, Benoit Dualities for constraint satisfaction problems. (English) Zbl 1171.68494 Creignou, Nadia (ed.) et al., Complexity of constraints. An overview of current research themes. Berlin: Springer (ISBN 978-3-540-92799-0/pbk). Lecture Notes in Computer Science 5250, 93-124 (2008). MSC: 68Q25 03B70 08A70
  • Bulatov, Andrei A.; Valeriote, Matthew A. Recent results on the algebraic approach to the CSP. (English) Zbl 1171.08300 Creignou, Nadia (ed.) et al., Complexity of constraints. An overview of current research themes. Berlin: Springer (ISBN 978-3-540-92799-0/pbk). Lecture Notes in Computer Science 5250, 68-92 (2008). MSC: 08A70 03B70
  • Bulatov, Andrei A. The complexity of the counting constraint satisfaction problem. (English) Zbl 1153.68386 Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7—11, 2008. Proceedings, Part I. Berlin: Springer (ISBN 978-3-540-70574-1/pbk). Lecture Notes in Computer Science 5125, 646—661 (2008). MSC: 68Q25
  • Atserias, Albert; Bulatov, Andrei; Dawar, Anuj Affine systems of equations and counting infinitary logic. (English) Zbl 1171.68721 Arge, Lars (ed.) et al., Automata, languages and programming. 34th international colloquium, ICALP 2007, Wrocł aw, Poland, July 9—13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73419-2/pbk). Lecture Notes in Computer Science 4596, 558—570 (2007). MSC: 68T20 03C13 03C75 08A70 68Q25
  • Atserias, Albert; Bulatov, Andrei; Dalmau, Victor On the power of k-consistency. (English) Zbl 1171.68720 Arge, Lars (ed.) et al., Automata, languages and programming. 34th international colloquium, ICALP 2007, Wrocł aw, Poland, July 9—13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73419-2/pbk). Lecture Notes in Computer Science 4596, 279—290 (2007). MSC: 68T20
  • Bulatov, Andrei; Chen, Hubie; Dalmau, Víctor Learning intersection-closed classes with signatures. (English) Zbl 1127.68044 Theor. Comput. Sci. 382, No. 3, 209—220 (2007). MSC: 68Q32 68W05
  • Bulatov, Andrei A.; Dalmau, Víctor Towards a dichotomy theorem for the counting constraint satisfaction problem. (English) Zbl 1115.68141 Inf. Comput. 205, No. 5, 651—678 (2007). MSC: 68T20 68Q25
  • Bulatov, Andrei A. A dichotomy theorem for constraint satisfaction problems on a 3-element set. (English) Zbl 1316.68057 J. ACM 53, No. 1, 66-120 (2006). MSC: 68Q25 68Q17 68T20
  • Bulatov, A. A. The property of being polynomial for Mal’tsev constraint satisfaction problems. (Russian, English) Zbl 1164.08307 Algebra Logika 45, No. 6, 655—686 (2006); translation in Algebra Logic 45, No. 6, 371—388 (2006). MSC: 08A70 68Q25 68T20
  • Bulatov, Andrei A.; Skvortsov, Evgeny S. Efficiency of local search. (English) Zbl 1187.68534 Biere, Armin (ed.) et al., Theory and applications of satisfiability testing — SAT 2006. 9th international conference, Seattle, WA, USA, August 12—15, 2006. Proceedings. Berlin: Springer (ISBN 3-540-37206-7/pbk). Lecture Notes in Computer Science 4121, 297—310 (2006). MSC: 68T20
  • Bulatov, Andrei A. Combinatorial problems raised from 2-semilattices. (English) Zbl 1110.08001 J. Algebra 298, No. 2, 321—339 (2006). Reviewer: Christoph Meinel (Potsdam) MSC: 08A40 68Q25 68T20 06A07 06A12 08A70
  • Bulatov, Andrei; Dalmau, Víctor A simple algorithm for Mal’tsev constraints. (English) Zbl 1112.08002 SIAM J. Comput. 36, No. 1, 16-27 (2006). MSC: 08A70 68Q25 68T20
  • Bulatov, A. A. Complexity of the counting constraint satisfaction problem. (Russian. English summary) Zbl 1208.68198 Izv. Ural. Gos. Univ. 36, Mat. Mekh. 7, 67-82, 190 (2005). MSC: 68T20 68Q25
  • Bulatov, Andrei A. Three-element Mal’tsev algebras. (English) Zbl 1104.08001 Acta Sci. Math. 71, No. 3-4, 469—500 (2005). Reviewer: Manfred Armbrust (Köln) MSC: 08A40 08B05 08A30 08-04
  • Bulatov, Andrei A. H-coloring dichotomy revisited. (English) Zbl 1086.68052 Theor. Comput. Sci. 349, No. 1, 31-39 (2005). MSC: 68Q25 05C15 05C85 68T20
  • Krokhin, Andrei; Bulatov, Andrei; Jeavons, Peter The complexity of constraint satisfaction: an algebraic approach. (English) Zbl 1087.68107 Kudryavtsev, Valery B. et al., Structural theory of automata, semigroups, and universal algebra. Proceedings of the NATO Advanced Study Institute, Montreal, Quebec, Canada, July 7—18, 2003. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-3815-1/hbk; 1-4020-3817-8/e-book). NATO Science Series II: Mathematics, Physics and Chemistry 207, 181—213 (2005). MSC: 68T20 68Q25
  • Bulatov, Andrei; Grohe, Martin The complexity of partition functions. (English) Zbl 1081.68030 Theor. Comput. Sci. 348, No. 2-3, 148—186 (2005). MSC: 68Q25 05C15 68R10 68T20
  • Bulatov, Andrei; Jeavons, Peter; Krokhin, Andrei Classifying the complexity of constraints using finite algebras. (English) Zbl 1071.08002 SIAM J. Comput. 34, No. 3, 720—742 (2005). MSC: 08A70 68Q25 68T20 90C27
  • Bulatov, A. A. The complexity of the conservative generalized satisfiability problem. (English. Russian original) Zbl 1378.68065 Dokl. Math. 70, No. 1, 597—598 (2004); translation from Dokl. Akad. Nauk 397, No. 5, 583—585 (2004). MSC: 68Q25 06E30 68Q17
  • Bulatov, Andrei; Grohe, Martin The complexity of partition functions. (English) Zbl 1098.68616 Díaz, Josep (ed.) et al., Automata, languages and programming. 31st international colloquium, ICALP 2004, Turku, Finland, July 12—16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22849-7/pbk). Lecture Notes in Computer Science 3142, 294—306 (2004). MSC: 68Q25 05C15 68R10 68T20 82B05
  • Bulatov, Andrei; Chen, Hubie; Dalmau, Víctor Learnability of relatively quantified generalized formulas. (English) Zbl 1110.68391 Ben-David, Shai (ed.) et al., Algorithmic learning theory. 15th international conference, ALT 2004, Padova, Italy, October 2—5, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23356-3/pbk). Lecture Notes in Computer Science 3244. Lecture Notes in Artificial Intelligence, 365—379 (2004). MSC: 68Q32
  • Bulatov, Andrei A.; Jeavons, Peter An algebraic approach to multi-sorted constraints. (English) Zbl 1273.68337 Rossi, Francesca (ed.), Principles and practice of constraint programming — CP 2003. 9th international conference, CP 2003, Kinsale, Ireland, September 29 — October 3, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20202-1/pbk). Lect. Notes Comput. Sci. 2833, 183—198 (2003). MSC: 68T20 68P15
  • Börner, Ferdinand; Bulatov, Andrei; Jeavons, Peter; Krokhin, Andrei Quantified constraints: Algorithms and complexity. (English) Zbl 1116.03314 Baaz, Matthias (ed.) et al., Computer science logic. 17th international workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel colloquium KGC 2003, Vienna, Austria, August 25—30, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40801-0/pbk). Lect. Notes Comput. Sci. 2803, 58-70 (2003). MSC: 03B70 68Q25 68T20
  • Bulatov, Andrei A.; Idziak, Paweł M. Counting Mal’tsev clones on small sets. (English) Zbl 1023.08004 Discrete Math. 268, No. 1-3, 59-80 (2003). MSC: 08A40 08B05
  • Bulatov, Andrei; Jeavons, Peter; Volkov, Mikhail Finite semigroups imposing tractable constraints. (English) Zbl 1032.20037 Gomes, Gracinda M. S. (ed.) et al., Semigroups, algorithms, automata and languages. Proceedings of workshops held at the International Centre of Mathematics, CIM, Coimbra, Portugal, May, June and July 2001. Singapore: World Scientific. 313—329 (2002). Reviewer: Francine Blanchet-Sadri (Greensboro) MSC: 20M05 68Q25
  • Bulatov, Andrei A. Polynomial clones containing the Mal’tsev operation of the groups \bbfZp2 and \bbfZp×\bbfZp. (English) Zbl 1022.08001 Mult.-Valued Log. 8, No. 2, 193—221 (2002). MSC: 08A40 08A30
  • Bulatov, Andrei; Krokhin, Andrei; Jeavons, Peter The complexity of maximal constraint languages. (English) Zbl 1323.68294 Proceedings of the thirty-third annual ACM symposium on theory of computing, STOC 2001. Hersonissos, Crete, Greece, July 6—8, 2001. New York, NY: ACM Press (ISBN 1-581-13349-9). 667—674 (2001). MSC: 68Q17 68Q25 68T20
  • Bulatov, Andrei A. Conditions satisfied by clone lattices. (English) Zbl 1058.06005 Algebra Univers. 46, No. 1-2, 237—241 (2001). Reviewer: Ivan Chajda (Olomouc) MSC: 06B05 08A40
  • Bulatov, A.; Krokhin, A.; Safin, K.; Semigrodskikh, A.; Sukhanov, E. On the structure of clone lattices. II. (English) Zbl 1008.08001 Mult.-Valued Log. 7, No. 5-6, 379—389 (2001). MSC: 08A40
  • Bulatov, Andrei On the number of finite Mal’tsev algebras. (English) Zbl 0986.08003 Chajda, I. (ed.) et al., Contributions to general algebra 13. Proceedings of the 60th workshop on general algebra «60. Arbeitstagung Allgemeine Algebra», Dresden, Germany, June 22-25, 2000 and of the summer school ’99 on general algebra and ordered sets, Velké Karlovice, Czech Republic, August 30-September 4, 1999. Klagenfurt: Verlag Johannes Heyn. Contrib. Gen. Algebra. 13, 41-54 (2001). MSC: 08A40 03B50
  • Bulatov, Andrei A.; Krokhin, Andrei A.; Jeavons, Peter Constraint satisfaction problems and finite algebras. (English) Zbl 0973.68181 Montanari, Ugo (ed.) et al., Automata, languages and programming. 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1853, 272—282 (2000). MSC: 68R05 68T20 08A40
  • Bulatov, A. A. Abstract properties of the class of intervals in the lattices of closed classes. (English. Russian original) Zbl 0976.08001 Discrete Math. Appl. 10, No. 5, 481—498 (2000); translation from Diskret. Mat. 12, No. 4, 95-113 (2000). MSC: 08A40 03G10 08B20 03B50
  • Bulatov, A. A. On one semigroup property of clones. (English) Zbl 0971.08001 Kublanovsky, S. (ed.) et al., Semigroups with applications, including semigroup rings. International conference in honour of E. S. Lyapin, St.-Petersburg, Russia, June 19-30, 1995. St.-Petersburg: Severny Ochag, 63-66 (1999). Reviewer: E.Płonka (Wodzisław) MSC: 08A40 08A02 20M99
  • Bulatov, A. A. Sublattices of a lattice of clones of functions on a 3-element set. I. (English. Russian original) Zbl 0936.06005 Algebra Logika 38, No. 1, 3-23 (1999); translation in Algebra Logic 38, No. 1, 1-11 (1999). Reviewer: A.N.Ryaskin (Novosibirsk) MSC: 06B15 06A12 08A40
  • Bulatov, Andrei A. Some infinite intervals in clone lattices. (English) Zbl 0929.08003 Discuss. Math., Algebra Stoch. Methods 19, No. 1, 63-74 (1999). MSC: 08A40 08A02 03B50
  • Bulatov, A. A. Sublattices of the lattice of clones of functions on a 3-element set. II. (English. Russian original) Zbl 0949.06001 Algebra Logika 38, No. 3, 269—295 (1999); translation in Algebra Logic 38, No. 3, 144—158 (1999). Reviewer: A.N.Ryaskin (Novosibirsk) MSC: 06B15 06A12 08A40
  • Bulatov, A. A. Polynomial reducts of modules. II. Algebras of primitive and nilpotent functions. (English) Zbl 0923.08002 Mult.-Valued Log. 3, No. 3, 173—193 (1998). Reviewer: B.Wojdyło (Toruń) MSC: 08A40 03B50
  • Bulatov, A. A. Polynomial reducts of modules. I. Rough classification. (English) Zbl 0909.08003 Mult.-Valued Log. 3, No. 2, 135—154 (1998). Reviewer: B.Wojdyło (Toruń) MSC: 08A40 08A30 03B50
  • Bulatov, A.; Bertulis, A.; Mickienė, L. Geometrical illusions: Study and modelling. (English) Zbl 0899.92042 Biol. Cybern. 77, No. 6, 395—406 (1997). MSC: 91E30
  • Bulatov, A. A. Polynomial reducts of modules. (English. Russian original) Zbl 0889.08005 Russ. Math. 40, No. 10, 73-76 (1996); translation from Izv. Vyssh. Uchebn., Mat 1996, No. 10(413), 76-79 (1996). Reviewer: D.Busneag (Craiova) MSC: 08A30 08A40 06B05

Публикации

  • Полиномиальность мальцевских задач CSP; А. А. Булатов; Алгебра и логика, 45:6 (2006), 655—686;
  • Абстрактные свойства класса интервалов решеток замкнутых классов; А. А. Булатов; Дискрет. матем., 12:3 (2000), 95-113;
  • Полиномиальные редукты модулей; А. А. Булатов; Изв. вузов. Матем., 1996, № 10, 76-79.

Примечания

  1. ↑ 1 2 Уральский государственный университет в биографиях. biography.ideafix.co. Дата обращения: 19 сентября 2018. Архивировано 28 февраля 2019 года.
  2. ↑ Mathematics Genealogy Project (англ.) — 1997.
  3. ↑ Уральский государственный университет в биографиях (2010). Уральский федеральный университет. Дата обращения: 19 сентября 2018. Архивировано 13 февраля 2018 года.
  4. ↑ Булатов, Андрей Александрович. cs.sfu.ca. Дата обращения: 19 сентября 2018. Архивировано 24 февраля 2018 года.
  5. ↑ Committeers / The 9th International Computer Science Symposium in Russia. logic.pdmi.ras.ru. Дата обращения: 19 сентября 2018. Архивировано 10 марта 2014 года.

Ссылки

Read other articles:

Evangelicalism

Protestant Christian movement Evangelical redirects here. For other uses, see Evangelical (disambiguation). Not to be confused with Evangelism or Evangelion (franchise). Part of a series onProtestantism Outline Concepts Anti-Protestantism Bible Criticism Culture Demographics Ecclesiology Liturgy Relations with Catholics Theologies Five Solas History Proto-Protestantism Bohemian Reformation Reformation Magisterial Radical Counter Martin Luther Ninety-five Theses Augsburg Confession Huldrych Zw...

 

 

Tournoi des Six Nations 2007

Cet article traite de l'épreuve masculine. Pour la compétition féminine, voir Tournoi des Six Nations féminin 2007. Pour un article plus général, voir Tournoi des Six Nations. Tournoi des Six Nations 2007 Généralités Sport rugby à XV Organisateur(s) Six Nations Rugby Limited Édition 113e(8e des Six Nations) Date du 3 février au 17 mars 2007 Nations Angleterre Écosse France Irlande Italie Pays de Galles Participants 6 équipes Matchs joués 15 Site web officiel www.rbs6nations.co...

 

 

Strongest Chil Woo

Strongest Chil WooPoster promosi untuk Strongest Chil WooGenreDrama sejarahLagaDitulis olehBaek Wun-cheolSutradaraPark Man-yeongPemeranEric MunKu Hye-sunYoo Ah-inLee EonKim ByulNegara asalKorea SelatanBahasa asliKoreaJmlh. episode20ProduksiDurasiSenin dan Selasa pukul 21:55Rilis asliJaringanKBS2Format gambar480i (SDTV)1080i (HDTV)Rilis17 Juni (2008-06-17) –19 Agustus 2008 (2008-08-19) Strongest Chil WooHangul최강칠우 Hanja最強七迂 Alih AksaraChoegang ChilwoMcCune–R...

大字 (数字)

この項目には、一部のコンピュータや閲覧ソフトで表示できない文字が含まれています（詳細）。 数字の大字（だいじ）は、漢数字の一種。通常用いる単純な字形の漢数字（小字）の代わりに同じ音の別の漢字を用いるものである。 概要 壱万円日本銀行券（「壱」が大字） 弐千円日本銀行券（「弐」が大字） 漢数字には「一」「二」「三」と続く小字と、「壱」「�...

 

 

Військово-музичне управління Збройних сил України

Військово-музичне управління Збройних сил України Тип військове формуванняЗасновано 1992Країна  Україна Емблема управління Військово-музичне управління Збройних сил України — структурний підрозділ Генерального штабу Збройних сил України призначений для планува...

 

 

Agriculture in New York

Major component of New York's economy Agriculture is a major component of the New York economy.[1] As of the 2012 census of agriculture, there were over 35,000 farms covering an area of 7 million acres (28,000 km2) which contributed $5.4 billion in gross sales value and $1.2 billion in net farm income to the national economy.[1][2][3] Dairy farming alone accounted for $2.5 billion or 45% of sales.[1][4] The Finger Lakes region is the c...

Siirt

SiirtKotamadyaPemandangan SiirtSiirtKoordinat: 37°55′30″N 41°56′45″E / 37.92500°N 41.94583°E / 37.92500; 41.94583Koordinat: 37°55′30″N 41°56′45″E / 37.92500°N 41.94583°E / 37.92500; 41.94583Negara TurkiWilayahAnatolia TenggaraProvinsiSiirtPemerintahan • Walikota terpilihBerivan Helen Işık (digulingkan) (HDP) • Pj Walikota (Gubernur Provinsi Siirt)Ali Fuat AtikLuas[1] • Di...

 

 

Mitsubishi F-X

Mitsubishi F-XDesain konsep pesawat tempur F-XTipePesawat superioritas udara silumanTerbang perdana2028 (direncanakan)[1]StatusDigabung ke dalam Global Combat Air Programme[2]Pengguna utamaAngkatan Udara Bela Diri Jepang (direncanakan)Tahun produksi2024 (rencana produksi prototipe pertama)[1]2031 (rencana produksi skala penuh)[1]Acuan dasari3 fighterMitsubishi X-2 Shinshin Mitsubushi F-X merupakan pesawat tempur siluman generasi keenam yang dikembangkan untuk A...

 

 

Minnesota Golden Gophers Spirit Squads

The University of Minnesota Golden Gophers Spirit Squads comprise the cheerleading organization at the Twin Cities campus of the University of Minnesota.[1] Being the first program ever to form worldwide, the University of Minnesota is consequently considered the Birthplace of Cheerleading.[2] Today, the Gopher Spirit Squads consist of four separate squads: a cheer squad, a dance team, a hockey cheer squad, and the school's mascot, Goldy Gopher. The squads consistently perform...

Un2verse

Un2verseAlbum mini karya JessiDirilis13 Juli 2017 (2017-07-13)GenreK-rapDurasi16:47Label YMC LOEN Kronologi Jessi Get Up(2005) Un2verse(2017) Kill Bill 2nd Live: Jessi(2019) Singel dalam album Un2verse GucciDirilis: 13 Juli 2017 Un2verse (diucapkan universe) adalah album mini debut oleh penyanyi dan penyanyi rap Korea-Amerika Jessi. Album ini dirilis pada tanggal 13 Juli 2017, oleh YMC Entertainment dan didistribusikan oleh Kakao M, yang sebelumnya dikenal sebagai LOEN Entertainment....

 

 

Большая гавайская древесница

† Большая гавайская древесница Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:За...

 

 

Vasily Tropinin

Russian Romantic painter Vasily TropininSelf portraitBornVasily Andreevich Tropinin(1776-03-30)30 March 1776Korpovo village, near Novgorod, Russian EmpireDied16 May 1857(1857-05-16) (aged 81)Moscow, Russian EmpireResting placeVagankovo Cemetery, MoscowNationalityRussianAlma materImperial Academy of Arts (1804)Known forPainting, DrawingMovementRomanticism Vasily Andreevich Tropinin (Russian: Васи́лий Андре́евич Тропи́нин; 30 March [O.S. 19 Mar...

Anansi

African folktale character, totem of wisdom and stories Not to be confused with the Ancestral Puebloans (Anasazi) or House of Anansi Press, a Canadian publishing company.Kwaku Ananse redirects here. For the 2013 short film, see Kwaku Ananse (film). This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Anansi – news · newspapers...

 

 

Exposición Internacional de Génova (1992)

1992 Génova Vista generalClase-BIE EspecializadaCategoría Exposición internacional especializadaNombre Esposizione Internazionale Specializzata Genova '92Tema 500 años Cristóbal ColónEdificio Acuario de GénovaÁrea 25 hectáreasVisitantes 1.706.148ParticipantesPaíses 54LocalizaciónPaís Italia ItaliaCiudad GénovaSitio Porto AnticoCoordenadas 44°24′37″N 8°55′35″E / 44.41028, 8.92639FechasCandidatura 27 de febrero de 1987Asignación 04 de diciembre de 19...

 

 

نادي جولدي

جولدي الاسم الكامل نادي جولدي الرياضي تأسس عام 1994 البلد مصر  الدوري الدوري المصري الدرجة الثالثة الطقم الرسمي الطقم الأساسي الطقم الاحتياطي تعديل مصدري - تعديل   نادي جولدي الرياضي، هو نادي كرة قدم مصري مقره القاهرة. تأسس عام 1994 تحت اسم المعادن، تغير الاسم إلى الاسم ا�...

Canadian and American Reformed Churches

Canadian and American Reformed ChurchesClassificationProtestantTheologyOrthodox ReformedGovernancePresbyterianAssociationsInternational Conference of Reformed Churches, North American Presbyterian and Reformed CouncilOrigin16 April 1950 Lethbridge, Alberta (Canada)Branched fromReformed Churches in the Netherlands (Liberated)Congregations70 (2023)[1]Members19,494 (2018)[2]Official websitecanrc.org The Canadian and American Reformed Churches (CanRC) is a federation of Protestant...

 

 

Muharraq

al-Muh̨arraqالمحرق Plaats in Bahrein Coördinaten 26° 15′ NB, 50° 37′ OL Algemeen Inwoners (2001) 91.307 Website Officiële website Foto's Moskee in de stad Muharraq Portaal    Azië al-Muharraq (Arabisch: المحرق, al-Muh̨arraq, plaats van as) is een eiland, een stad en een gouvernement (muhafazah) van de eilandenstaat Bahrein in de Perzische Golf. Eiland Muharraq Het eiland (al-)Muharraq bevindt zich ten noordoosten van het hoofdeiland van Bahrein, ...

 

 

Derbyshire

County of England This article is about the county in England. For other uses, see Derbyshire (disambiguation). Non-metropolitan and ceremonial county in EnglandDerbyshireNon-metropolitan and ceremonial countyThe Peak District near Hathersage; Derby Cathedral; and Masson Mill, opened by Sir Richard Arkwright Ceremonial Derbyshire within England Ceremonial Derbyshire Historic Derbyshire in the British Isles Historic DerbyshireCoordinates: 53°11′N 1°37′W / 53.18°N 1.61°W...

Parlement de Dole

Ne doit pas être confondu avec Parlement de Besançon. Parlement de Dole Sceau du Parlement de Dole (XVe siècle) Situation Création 1386 Dissolution 1676 (transfert à Besançon) Type Parlement Domaine Justice d'appel Siège Dole (Jura) Comté de Bourgogne Coordonnées 47° 05′ 31″ N, 5° 29′ 37″ E Langue Franc-comtois (langue) Organisation Effectifs 26 membres modifier  Le parlement de Dole était le parlement du comté de Bourgogne (actuelle Fr...

 

 

Greek Revival architecture

Architectural movement of the late 18th and early 19th centuries Brandenburg Gate in Berlin, 1791 Northington Grange, an English banker's house of 1804-1817 Yorkshire Museum in York, England, designed by William Wilkins, 1830 Greek Revival architecture was a style that began in the middle of the 18th century but which particularly flourished in the late 18th and early 19th centuries, predominantly in northern Europe, the United States, and Canada, as well as in Greece itself following its ind...