Bulatov, Andrej Arnoldovič

Andrey Arnoldovich Bulatov - doktor fyzikálních a matematických věd , profesor , docent , laureát Gödelovy ceny (2021).

Životopis

Narozen v Alapaevsku, Sverdlovská oblast .

Absolvent Matematicko-mechanické fakulty Uralské státní univerzity v oboru matematika. Do roku 2002 působil na USU, v letech 2002 až 2005 studoval doktorský program univerzity pod vedením profesora L. N. Shevrina . V současné době působí na Simon Fraser University v Kanadě .

Autor mnoha vědeckých a pedagogických prací. Dokončené cykly výzkumu svazů klonů a aplikací univerzální algebry do teorie výpočetní složitosti. V roce 2002 mu byla udělena cena za nejlepší práci na 43. mezinárodním sympoziu o základech počítačových věd ve Vancouveru v USA . Držitel ceny UFU za vysoké úspěchy ve vzdělávací a metodické činnosti v roce 2006 [2] [3] [4] [5] .

Hlavní díla

• Bulatov, Andrei A. Problémy uspokojení omezení: složitost a algoritmy. (anglicky) Zbl 06894736 Klein, Shmuel Tomi (ed.) a kol., Teorie a aplikace jazyků a automatů. 12. mezinárodní konference, LATA 2018, Ramat Gan, Izrael, 9.—11. dubna 2018. Sborník příspěvků. Cham : Springer Lecture Notes in Computer Science 10792, 1-25 (2018). MSC: 68Q45
• Bulatov, Andrei A. (ed.); Hirsch, Edward A. (ed.); Pin, Jean-Éric (ed.) Předmluva. (anglicky) Zbl 1372.00093 Theory Comp. Syst. 61, č.p. 2, 261-262 (2017). MSC: 00B25 68-06
• Bulatov, Andrej A.; Karpová, Olga; Shur, Arseny M.; Startsev, Konstantin Dolní hranice oddělování slov: existují v transformačních pologrupách krátké identity? (anglicky) Zbl 1372.68156 Electron. J Comb. 24, č. 3, Research Paper P3.35, 12 s. (2017). MSC: 68Q45 20B30 20M20 68Q70 68R15
• Bulatov, Andrej; Goldberg, Leslie Ann; Jerrum, Mark; Richerby, David; Zivný, Stanislav Funkční klony a vyjadřitelnost partičních funkcí. (anglicky) Zbl 06730360 Theor. Počítat. sci. 687, 11-39 (2017). MSC: 08A40
• Bulatov, Andrei A. Grafy relačních struktur, omezené typy. (anglicky) Zbl 06863534 Proceedings of the 2016th Annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, 5. – 8. července 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.) Předmluva. (anglicky) Zbl 1354.00085 Theory Comp. Syst. 59, č.p. 2, 159-160 (2016). MSC: 00B25 68-06
• Bulatov, Andrej; Kozík, Marcin; Mayr, Petr; Steindl, Markus Problém členství v podmocninách pro pologrupy. (anglicky) Zbl 06663545 Int. J Výpočet algebry. 26, č. 7, 1435-1451 (2016). MSC: 20M99 68Q25
• Bulatov, Andrei A. Spokojenost s konzervativním omezením znovu navštívena. (anglicky) Zbl 1346.68108 J. Comp. Syst. sci. 82, č.p. 2, 347-356 (2016). MSC: 68Q25
• Bulatov, Andrej A.; Korespondence Hedayaty, Amir Galois pro počítání kvantifikátorů. (anglicky) Zbl 06930501 J. Mult.-Val. log. softcomputer. 24, č. 5-6, 405-424 (2015). MSC: 08A70 08A40 06A15 68Q25
• Bulatov, Andrej A.; Skvortsov, Evgeny S. Fázový přechod pro místní vyhledávání na vysazené SAT. (anglicky) Zbl 06482807 Italiano, F. (ed.) et al., Matematické základy informatiky 2015. 40. mezinárodní sympozium, MFCS 2015, Milán, Itálie, 24.–28. srpna 2015. Sborník příspěvků. Část II. Berlín : Springer Lecture Notes in Computer Science 9235, 175-186 (2015). MSC: 68Qxx
• Bulatov, Andrei A. Booleovské max-ko-klony. (anglicky) Zbl 1348.08004 Algebra Univers. 74, č.p. 1-2, 139-162 (2015). Recenzent: Lavinia Ciungu (Iowa City) MSC: 08A70 08A40 06B99
• Bulatov, Andrei A. Počítání problémů uspokojení omezení. (anglicky) Zbl 1373.68255 Jang, Sun Young (ed.) et al., Proceedings of the International Congress of Mathematicians (ICM 2014), Soul, Korea, August 13-21, 2014. Vol. IV: Vyzvané přednášky. Soul: KM Kyung Moon Sa 561-584 (2014). MSC: 68Q25 68Q17
• Bulatov, Andrej A.; Wang, Cong Přibližování vysoce uspokojivého náhodného 2-SAT. (anglicky) Zbl 06348076 Sinz, Carsten (ed.) et al., Teorie a aplikace testování splnitelnosti — SAT 2014. 17. mezinárodní konference, konaná v rámci vídeňského léta logiky, VSL 2014, Vídeň, Rakousko, 14. července— 17, 2014. Sborník příspěvků. Berlin: Springer ( ISBN 978-3-319-09283-6 /pbk). Lecture Notes in Computer Science 8561, 384-398 (2014). MSC: 68Q25 68T20
• Bulatov, Andrej A.; Marx, Dániel Spokojenost s omezením parametrizovaná velikostí řešení. (anglicky) Zbl 1360.68499 SIAM J. Comp. 43, č.p. 2, 573-616 (2014). MSC: 68Q25 68Q17
• Bulatov, Andrej; Dalmau, Viktor; Thurley, Marc Popisná složitost přibližného počítání CSP. (anglicky) Zbl 1356.68090 Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Vybrané příspěvky z 27. workshopu CSL a 22. výroční konference European Association for Computer Science Logic (EACSL), Turín, Itálie, 2. září— 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. Složitost problému uspokojení omezení počítání. (anglicky) Zbl 1281.68130 J. ACM 60, No. 5, článek č. 34, 41 s. (2013). MSC: 68Q25 08A40 08A70 68Q15 68T20
• Bulatov, Andrej A.; Barvíř, Martin; Goldberg, Leslie Ann; Jerrum, Mark; Mcquillan, Colin Vyjádřitelnost funkcí v booleovské doméně s aplikacemi pro počítání CSP. (anglicky) Zbl 1281.68131 J. ACM 60, No. 5, článek č. 32, 36 s. (2013). MSC: 68Q25 68W25 90C60
• Bulatov, Andrei A. (ed.); Shur, Arseny M. (ed.) Informatika - teorie a aplikace. 8. mezinárodní počítačové sympozium v ​​Rusku, CSR 2013, Jekatěrinburg, Rusko, 25.—29. června 2013. Sborník příspěvků. (anglicky) Zbl 1264.68003 Lecture Notes in Computer Science 7913. Berlin: Springer ( ISBN 978-3-642-38535-3 /pbk). xii, 445 s. (2013). MSC: 68-06 68Qxx 00B25
• Bulatov, Andrej A.; Barvíř, Martin; Goldberg, Leslie Ann; Jerrum, Mark Log-supermodulární funkce, funkční klony a počítání CSP. (anglicky) Zbl 1245.68100 Dürr, Christoph (ed.) et al., STACS 2012. 29. mezinárodní sympozium o teoretických aspektech počítačových věd, Paříž, Francie, 29. února — 3. března 2012. Wadern: Schloss Dagstuhl — Leibnizformatik ( ISBN 978-3-939897-35-4 ). LIPICS - Leibniz International Proceedings in Informatics 14, 302-313, pouze elektronicky (2012). MSC: 68Q25 68Q15
• Bulatov, Andrej; Barvíř, Martin; Goldberg, Leslie Ann; Jalsenius, Markus; Jerrum, Mark; Richerby, David Složitost váženého a neváženého #CSP. (anglicky) Zbl 1282.68110 J. Comp. Syst. sci. 78, č.p. 2, 681-688 (2012). MSC: 68Q15
• Bulatov, Andrej A.; Dalmau, Viktor; Grohe, Martin; Marx, Daniel Výčet homomorfismů. (anglicky) Zbl 1253.68165 J. Comp. Syst. sci. 78, č.p. 2, 638-650 (2012). MSC: 68Q25 05C30 68R05
• Bulatov, Andrej A.; Hedayaty, Amir Problémy s počítáním a klony funkcí. (anglicky) Zbl 1236.68194 J. Mult.-Val. log. softcomputer. 18, č. 2, 117-138 (2012). MSC: 68R05 03B50 08A40 68Q25
• Bulatov, Andrei A. Složitost problémů uspokojení konzervativních omezení. (anglicky) Zbl 1351.68113 ACM Trans. Počítat. log. 12, č. 4, článek č. 24, 66 s. (2011). MSC: 68Q25 05C15 68T20
• Bulatov, Andrej A.; Marx, Dániel Spokojenost s omezením parametrizovaná velikostí řešení. (anglicky) Zbl 1333.68136 Aceto, Luca (ed.) a kol., Automaty, jazyky a programování. 38. mezinárodní kolokvium, ICALP 2011, Curych, Švýcarsko, 4. – 8. července 2011. Sborník příspěvků, I. část. Berlín: Springer ( ISBN 978-3-642-22005-0 /pbk). Lecture Notes in Computer Science 6755, 424-436 (2011). MSC: 68Q25 68Q17
• Bulatov, Andrei A. O domněnce dichotomie CSP. (anglicky) Zbl 1332.68065 Kulikov, Alexander (ed.) et al., Informatika - teorie a aplikace. 6. mezinárodní počítačové sympozium v ​​Rusku, CSR 2011, St. Petersburg, Rusko, 14.-18. června 2011. Sborník příspěvků. Berlin: Springer ( ISBN 978-3-642-20711-2 /pbk). Lecture Notes in Computer Science 6651, 331-344 (2011). MSC: 68Q25 68T20
• Bulatov, Andrej A.; Marx, Daniel Složitost omezení globální mohutnosti. (anglicky) Zbl 1202.68208 Log. Metody Výpočet. sci. 6, č. 4, papír č. 4, 27 s. (2010). MSC: 68Q25
• Bulatov, Andrej A.; Dalmau, Viktor; Grohe, Martin; Marx, Daniel Výčet homomorfismů. (anglicky) Zbl 1236.68105 Albers, Susanne (ed.) et al., STACS 2009. 26. mezinárodní symposium o teoretických aspektech počítačových věd, Freiburg, Německo, 26.–28. února 2009. Wadern: Schloss Dagstuhl — Leibniz Zentrum ISBN 978-3-939897-09-5 ). LIPICS - Leibniz International Proceedings in Informatics 3, 231-242, pouze v elektronické podobě (2009). MSC: 68Q25 05C30 68R05
• Borner, F.; Bulatov, A.; Chen, H.; Jeavons, P.; Krokhin, A. Složitost her uspokojujících omezení a QCSP. (anglicky) Zbl 1188.68269 Inf. Počítat. 207, č.p. 9, 923-944 (2009). MSC: 68T20 68Q25 91A05
• Bulatov, Andrej; Barvíř, Martin; Goldberg, Leslie Ann; Jalsenius, Markus; Richerby, David Složitost váženého booleovského #CSP se smíšenými znaky. (anglicky) Zbl 1171.68013 Theor. Počítat. sci. 410, č.p. 38-40, 3949-3961 (2009). MSC: 68Q25 68T20
• Atserias, Albert; Bulatov, Andrej; Dawar, Anuj Afinní soustavy rovnic a počítací nekonečná logika. (anglicky) Zbl 1168.68040 Theor. Počítat. sci. 410, č.p. 18, 1666-1683 (2009). MSC: 68T20 03C13 03C75 08A70 68Q25
• Bulatov, Andrej A.; Krokhin, Andrej; Larose, Benoit Duality pro problémy s uspokojením omezení. (anglicky) Zbl 1171.68494 Creignou, Nadia (ed.) et al., Complexity of constraints. Přehled aktuálních výzkumných témat. Berlin: Springer ( ISBN 978-3-540-92799-0 /pbk). Lecture Notes in Computer Science 5250, 93-124 (2008). MSC: 68Q25 03B70 08A70
• Bulatov, Andrej A.; Valeriote, Matthew A. Nedávné výsledky algebraického přístupu k CSP. (anglicky) Zbl 1171.08300 Creignou, Nadia (ed.) et al., Complexity of constraints. Přehled aktuálních výzkumných témat. Berlin: Springer ( ISBN 978-3-540-92799-0 /pbk). Lecture Notes in Computer Science 5250, 68-92 (2008). MSC: 08A70 03B70
• Bulatov, Andrei A. Složitost problému uspokojení omezení počítání. (anglicky) Zbl 1153.68386 Aceto, Luca (ed.) a kol., Automaty, jazyky a programování. 35. mezinárodní kolokvium, ICALP 2008, Reykjavík, Island, 7. – 11. července 2008. Sborník příspěvků, I. část. Berlín: Springer ( ISBN 978-3-540-70574-1 /pbk). Lecture Notes in Computer Science 5125, 646-661 (2008). MSC: 68Q25
• Atserias, Albert; Bulatov, Andrej; Dawar, Anuj Afinní soustavy rovnic a počítací nekonečná logika. (anglicky) Zbl 1171.68721 Arge, Lars (ed.) a kol., Automaty, jazyky a programování. 34. mezinárodní kolokvium, ICALP 2007, Wrocław, Polsko, 9. – 13. července 2007. Sborník příspěvků. 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, Andrej; Dalmau, Victor O síle k-konzistence. (anglicky) Zbl 1171.68720 Arge, Lars (ed.) a kol., Automaty, jazyky a programování. 34. mezinárodní kolokvium, ICALP 2007, Wrocław, Polsko, 9. – 13. července 2007. Sborník příspěvků. Berlin: Springer ( ISBN 978-3-540-73419-2 /pbk). Lecture Notes in Computer Science 4596, 279-290 (2007). MSC: 68T20
• Bulatov, Andrej; Chen, Hubie; Dalmau, Víctor Výuka uzavřených tříd s podpisy. (anglicky) Zbl 1127.68044 Theor. Počítat. sci. 382, č.p. 3, 209-220 (2007). MSC: 68Q32 68W05
• Bulatov, Andrej A.; Dalmau, Victor Směrem k dichotomické větě pro problém uspokojení omezení počítání. (anglicky) Zbl 1115.68141 Inf. Počítat. 205, č.p. 5, 651-678 (2007). MSC: 68T20 68Q25
• Bulatov, Andrei A. Dichotomický teorém pro problémy uspokojení omezení na 3-prvkové množině. (anglicky) Zbl 1316.68057 J. ACM 53, No. 1, 66-120 (2006). MSC: 68Q25 68Q17 68T20
• Bulatov, AA Vlastnost být polynomiální pro problémy s uspokojením Mal'tsevových omezení. (ruština, angličtina) Zbl 1164.08307 Algebra Logika 45, No. 6, 655-686 (2006); překlad v Algebra Logic 45, No. 6, 371-388 (2006). MSC: 08A70 68Q25 68T20
• Bulatov, Andrej A.; Skvortsov, Evgeny S. Efektivita místního vyhledávání. (anglicky) Zbl 1187.68534 Biere, Armin (ed.) et al., Teorie a aplikace testování splnitelnosti - SAT 2006. 9. mezinárodní konference, Seattle, WA, USA, 12.-15. srpna 2006. Sborník příspěvků. Berlin: Springer ( ISBN 3-540-37206-7 /pbk). Lecture Notes in Computer Science 4121, 297-310 (2006). MSC: 68T20
• Bulatov, Andrei A. Kombinatorické problémy vyvolané z 2-polomřížky. (anglicky) Zbl 1110.08001 J. Algebra 298, No. 2, 321-339 (2006). Recenzent: Christoph Meinel (Potsdam) MSC: 08A40 68Q25 68T20 06A07 06A12 08A70
• Bulatov, Andrej; Dalmau, Víctor Jednoduchý algoritmus pro Mal'tsevova omezení. (anglicky) Zbl 1112.08002 SIAM J. Comp. 36, č. 1, 16-27 (2006). MSC: 08A70 68Q25 68T20
• Bulatov, AA Složitost problému uspokojení omezení počítání. (rus. anglický souhrn) Zbl 1208.68198 Izv. Ural. jde. Univ. 36, mat. Mekh. 7, 67-82, 190 (2005). MSC: 68T20 68Q25
• Bulatov, Andrei A. Tříprvkové Mal'tsevovy algebry. (anglicky) Zbl 1104.08001 Acta Sci. Matematika. 71, č.p. 3-4, 469-500 (2005). Recenzent: Manfred Armbrust (Köln) MSC: 08A40 08B05 08A30 08-04
• Bulatov, Andrei A. Revisited H-coloring dichotomy. (anglicky) Zbl 1086.68052 Theor. Počítat. sci. 349, č.p. 1, 31-39 (2005). MSC: 68Q25 05C15 05C85 68T20
• Krokhin, Andrej; Bulatov, Andrej; Jeavons, Peter Složitost uspokojování omezení: algebraický přístup. (anglicky) Zbl 1087.68107 Kudryavtsev, Valery B. et al., Strukturní teorie automatů, pologrup a univerzální algebry. Proceedings of the NATO Advanced Study Institute, Montreal, Quebec, Canada, 7.-18. července 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, Andrej; Grohe, Martin Složitost funkcí oddílů. (anglicky) Zbl 1081.68030 Theor. Počítat. sci. 348, č.p. 2-3, 148-186 (2005). MSC: 68Q25 05C15 68R10 68T20
• Bulatov, Andrej; Jeavons, Peter; Krokhin, Andrei Klasifikace složitosti omezení pomocí konečných algeber. (anglicky) Zbl 1071.08002 SIAM J. Výpočet. 34, č. 3, 720-742 (2005). MSC: 08A70 68Q25 68T20 90C27
• Bulatov, AA Složitost konzervativního zobecněného problému uspokojivosti. (angl. ruský originál) Zbl 1378.68065 Dokl. Matematika. 70, č. 1, 597-598 (2004); překlad z Dokl. Akad. Věda 397, čís. 5, 583-585 (2004). MSC: 68Q25 06E30 68Q17
• Bulatov, Andrej; Grohe, Martin Složitost funkcí oddílů. (anglicky) Zbl 1098.68616 Díaz, Josep (ed.) a kol., Automaty, jazyky a programování. 31. mezinárodní kolokvium, ICALP 2004, Turku, Finsko, 12. – 16. července 2004. Sborník příspěvků. Berlin: Springer ( ISBN 3-540-22849-7 /pbk). Lecture Notes in Computer Science 3142, 294-306 (2004). MSC: 68Q25 05C15 68R10 68T20 82B05
• Bulatov, Andrej; Chen, Hubie; Dalmau, Víctor Učitelnost relativně kvantifikovaných zobecněných vzorců. (anglicky) Zbl 1110.68391 Ben-David, Shai (ed.) et al., Algorithmic learning theory. 15. mezinárodní konference, ALT 2004, Padova, Itálie, 2.-5. října 2004. Sborník příspěvků. 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, Andrej A.; Jeavons, Peter Algebraický přístup k vícetříděným omezením. (anglicky) Zbl 1273.68337 Rossi, Francesca (ed.), Principy a praxe programování s omezeními - CP 2003. 9. mezinárodní konference, CP 2003, Kinsale, Irsko, 29. září - 3. října 2003. Sborník příspěvků. Berlin: Springer ( ISBN 3-540-20202-1 /pbk). Lect. Poznámka Výpočet. sci. 2833, 183-198 (2003). MSC: 68T20 68P15
• Borner, Ferdinand; Bulatov, Andrej; Jeavons, Peter; Krokhin, Andrei Kvantifikovaná omezení: Algoritmy a složitost. (anglicky) Zbl 1116.03314 Baaz, Matthias (ed.) et al., Logika počítačové vědy. 17. mezinárodní workshop CSL 2003, 12. výroční konference EACSL, 8. kolokvium Kurta Gödela KGC 2003, Vídeň, Rakousko, 25.-30. srpna 2003. Sborník příspěvků. Berlin: Springer ( ISBN 3-540-40801-0 /pbk). Lect. Poznámka Výpočet. sci. 2803, 58-70 (2003). MSC: 03B70 68Q25 68T20
• Bulatov, Andrej A.; Idziak, Paweł M. Počítání Mal'tsevových klonů na malých sadách. (anglicky) Zbl 1023.08004 Diskrétní matematika. 268, č.p. 1-3, 59-80 (2003). MSC: 08A40 08B05
• Bulatov, Andrej; Jeavons, Peter; Volkov, Michail Konečné pologrupy ukládající ovladatelná omezení. (anglicky) Zbl 1032.20037 Gomes, Gracinda MS (ed.) a kol., Pologrupy, algoritmy, automaty a jazyky. Sborník z workshopů konaných v Mezinárodním centru matematiky, CIM, Coimbra, Portugalsko, květen, červen a červenec 2001. Singapur: World Scientific. 313-329 (2002). Recenzent: Francine Blanchet-Sadri (Greensboro) MSC: 20M05 68Q25
• Bulatov, Andrei A. Polynomiální klony obsahující operaci Mal'tsev skupin \bbfZp2 a \bbfZp×\bbfZp. (anglicky) Zbl 1022.08001 Mult.-Valued Log. 8, č. 2, 193-221 (2002). MSC: 08A40 08A30
• Bulatov, Andrej; Krokhin, Andrej; Jeavons, Peter Složitost jazyků s maximálním omezením. (anglicky) Zbl 1323.68294 Sborník z 33. výročního sympozia ACM o teorii výpočetní techniky, STOC 2001. Hersonissos, Kréta, Řecko, 6.-8. července 2001. New York, NY: ACM Press ( ISBN 1-581-13349- 9 ). 667-674 (2001). MSC: 68Q17 68Q25 68T20
• Bulatov, Andrei A. Podmínky splněné klonovacími mřížkami. (anglicky) Zbl 1058.06005 Algebra Univers. 46, č. 1-2, 237-241 (2001). Recenzent: Ivan Chajda (Olomouc) MSC: 06B05 08A40
• Bulatov, A.; Krokhin, A.; Safin, K.; Semigrodskikh, A.; Sukhanov, E. O struktuře klonových mřížek. II. (anglicky) Zbl 1008.08001 Mult.-Valued Log. 7, č. 5-6, 379-389 (2001). MSC: 08A40
• Bulatov, Andrei O počtu konečných Mal'tsevových algeber. (anglicky) Zbl 0986.08003 Chajda, I. (ed.) et al., Příspěvky k obecné algebře 13. Sborník příspěvků z 60. workshopu o obecné algebře „60. Arbeitstagung Allgemeine Algebra", Drážďany, Německo, 22.-25. června 2000 a letní školy '99 o obecné algebře a uspořádaných množinách, Velké Karlovice, Česká republika, 30. srpna - 4. září 1999. Klagenfurt: Verlag Johannes Heyn. přispět. Gen. Algebra. 13, 41-54 (2001). MSC: 08A40 03B50
• Bulatov, Andrej A.; Krokhin, Andrej A.; Jeavons, Peter Problémy uspokojení omezení a konečné algebry. (anglicky) Zbl 0973.68181 Montanari, Ugo (ed.) a kol., Automaty, jazyky a programování. 27. mezinárodní kolokvium, ICALP 2000, Ženeva, Švýcarsko, 9. – 15. července 2000. Sborník příspěvků. Berlín: Springer. Lect. Poznámka Výpočet. sci. 1853, 272-282 (2000). MSC: 68R05 68T20 08A40
• Bulatov, AA Abstraktní vlastnosti třídy intervalů v svazech uzavřených tříd. (angl. ruský originál) Zbl 0976.08001 Diskrétní matematika. Appl. 10, č. 5, 481-498 (2000); překlad z Diskret. Rohož. 12, č. 4, 95-113 (2000). MSC: 08A40 03G10 08B20 03B50
• Bulatov, AA O jedné vlastnosti pologrupy klonů. (anglicky) Zbl 0971.08001 Kublanovsky, S. (ed.) et al., Pologrupy s aplikacemi, včetně pologrupových kruhů. Mezinárodní konference na počest ES Ljapina, Petrohrad, Rusko, 19.-30. června 1995. Petrohrad: Severnyj Ochag, 63-66 (1999). Recenzent: E.Płonka (Wodzisław) MSC: 08A40 08A02 20M99
• Bulatov, A. A. Podsvazky svazu klonů funkcí na 3prvkové množině. I. (angl. ruský originál) Zbl 0936.06005 Algebra Logika 38, No. 1, 3-23 (1999); překlad v Algebra Logic 38, no. 1, 1-11 (1999). Recenzent: ANRyaskin (Novosibirsk) MSC: 06B15 06A12 08A40
• Bulatov, Andrei A. Některé nekonečné intervaly v klonových mřížkách. (anglicky) Zbl 0929.08003 Diskutujte. Math., Algebra Stoch. Metody 19, č. 1, 63-74 (1999). MSC: 08A40 08A02 03B50
• Bulatov, A. A. Podsvazky mřížky klonů funkcí na 3prvkové množině. II. (angl. ruský originál) Zbl 0949.06001 Algebra Logika 38, No. 3, 269-295 (1999); překlad v Algebra Logic 38, no. 3, 144-158 (1999). Recenzent: ANRyaskin (Novosibirsk) MSC: 06B15 06A12 08A40
• Bulatov, A.A. Polynomiální redukce modulů. II. Algebry primitivních a nilpotentních funkcí. (anglicky) Zbl 0923.08002 Mult.-Valued Log. 3, č. 3, 173-193 (1998). Recenzent: B.Wojdyło (Toruň) MSC: 08A40 03B50
• Bulatov, A.A. Polynomiální redukce modulů. I. Hrubá klasifikace. (anglicky) Zbl 0909.08003 Mult.-Valued Log. 3, č. 2, 135-154 (1998). Recenzent: B.Wojdyło (Toruň) MSC: 08A40 08A30 03B50
• Bulatov, A.; Bertulis, A.; Mickienė, L. Geometrické iluze: Studium a modelování. (anglicky) Zbl 0899.92042 Biol. Cybern. 77, č.p. 6, 395-406 (1997). MSC: 91E30
• Bulatov, A.A. Polynomiální redukce modulů. (anglicky. ruský originál) Zbl 0889.08005 Russ. Matematika. 40, č. 10, 73-76 (1996); překlad z Izv. Vyssh. Uchebn., Mat 1996, čís. 10(413), 76-79 (1996). Recenzent: D.Busneag (Craiova) MSC: 08A30 08A40 06B05

Publikace

• Polynomiality maltsevských problémů CSP; A. A. Bulatov; Algebra i Logika, 45:6 (2006), 655-686;
• Abstraktní vlastnosti třídy intervalů svazů uzavřených tříd; A. A. Bulatov; Diskrétní. Mat., 12:3 (2000), 95-113;
• Polynomiální redukce modulů; A. A. Bulatov; Izv. vysoké školy. Mat., 1996, č. 10, 76-79.

Poznámky

1. ↑ Matematická genealogie  (anglicky) - 1997.
2. ↑ Uralská státní univerzita v životopisech (2010) . Uralská federální univerzita . Získáno 19. září 2018. Archivováno z originálu 13. února 2018. (neurčitý)
3. ↑ Uralská státní univerzita v biografiích . biografie.ideafix.co. Získáno 19. září 2018. Archivováno z originálu 28. února 2019. (neurčitý)
4. ↑ Bulatov, Andrej Alexandrovič . cs.sfu.ca. Získáno 19. září 2018. Archivováno z originálu 24. února 2018. (neurčitý)
5. ↑ Výbory / 9. mezinárodní počítačové sympozium v ​​Rusku . logic.pdmi.ras.ru. Získáno 19. září 2018. Archivováno z originálu 10. března 2014. (neurčitý)

Odkazy

• Osoby: Bulatov, Andrei Arnoldovich
• Google Scholar
• zbMATH

Tematické stránky	Matematická genealogie ResearchGate Scopus zbMATH Otevřeno Všeruský matematický portál
V bibliografických katalozích GND : 1041847122 J9U : 987007362546105171 LCCN : nb2013013215 SUDOC : 228544572 VIAF : 312858524 WorldCat VIAF : 312858524