Bulatov, Andrey Arnoldovich

Andrey Arnoldovich Bulatov - doktor i fysikaliska och matematiska vetenskaper , professor , docent , pristagare av Gödelpriset (2021).

Biografi

Född i Alapaevsk, Sverdlovsk-regionen .

Utexaminerad från fakulteten för matematik och mekanik vid Ural State University med en examen i matematik. Fram till 2002 arbetade han vid USU, från 2002 till 2005 studerade han vid universitetets doktorandprogram under ledning av professor L. N. Shevrin . Arbetar för närvarande på Simon Fraser University i Kanada .

Författare till många vetenskapliga och pedagogiska verk. Genomförda cykler av forskning om gitter av kloner och om tillämpningar av universell algebra till teorin om beräkningskomplexitet. 2002 tilldelades han priset för bästa arbete vid det 43:e internationella symposiet om grunderna för datavetenskap i Vancouver i USA . Vinnare av UFU-priset för höga prestationer inom utbildnings- och metodverksamhet 2006 [2] [3] [4] [5] .

Stora verk

• Bulatov, Andrei A. Tillfredsställelseproblem med begränsningar: komplexitet och algoritmer. (engelska) Zbl 06894736 Klein, Shmuel Tomi (red.) et al., Language and automata theory and applications. 12:e internationella konferensen, LATA 2018, Ramat Gan, Israel, 9—11 april 2018. Proceedings. Cham : Springer Lecture Notes in Computer Science 10792, 1-25 (2018). MSC: 68Q45
• Bulatov, Andrei A. (red.); Hirsch, Edward A. (red.); Pin, Jean-Éric (red.) Förord. (engelska) Zbl 1372.00093 Theory Comput. Syst. 61, nr. 2, 261-262 (2017). MSC: 00B25 68-06
• Bulatov, Andrei A.; Karpova, Olga; Shur, Arseny M.; Startsev, Konstantin Nedre gränser för ordseparation: finns det korta identiteter i transformationssemigrupper? (engelska) Zbl 1372.68156 Elektron. J Comb. 24, nr. 3, Research Paper P3.35, 12 sid. (2017). MSC: 68Q45 20B30 20M20 68Q70 68R15
• Bulatov, Andrei; Goldberg, Leslie Ann; Jerrum, Mark; Richerby, David; Zivný, Stanislav Funktionella kloner och uttryckbarhet av partitionsfunktioner. (engelska) Zbl 06730360 Theor. Comput. sci. 687, 11-39 (2017). MSC: 08A40
• Bulatov, Andrei A. Grafer över relationsstrukturer, begränsade typer. (engelska) Zbl 06863534 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in data science, LICS 2016, New York City, NY, USA, 5-8 juli 2016. New York, NY: Association for Computing Machinery (ACM) ) ( ISBN 978-1-4503-4391-6 ). 642-651 (2016). MSC: 68Q25 05C25
• Bulatov, A. (red.); Kreutzer, S. (red.) Förord. (engelska) Zbl 1354.00085 Theory Comput. Syst. 59, nr. 2, 159-160 (2016). MSC: 00B25 68-06
• Bulatov, Andrei; Kozik, Marcin; Mayr, Peter; Steindl, Markus Undermaktens medlemskapsproblem för semigrupper. (engelska) Zbl 06663545 Int. J Algebra Comput. 26, nr. 7, 1435-1451 (2016). MSC: 20M99 68Q25
• Bulatov, Andrei A. Konservativ begränsning tillfredsställelse återbesökt. (engelska) Zbl 1346.68108 J. Comput. Syst. sci. 82, nr. 2, 347-356 (2016). MSC: 68Q25
• Bulatov, Andrei A.; Hedayaty, Amir Galois korrespondens för att räkna kvantifierare. (engelska) Zbl 06930501 J. Mult.-Val. logga. mjuk dator. 24, nr. 5-6, 405-424 (2015). MSC: 08A70 08A40 06A15 68Q25
• Bulatov, Andrei A.; Skvortsov, Evgeny S. Fasövergång för lokal sökning på planterad SAT. (engelska) Zbl 06482807 Italiano, F. (red.) et al., Mathematical foundations of computer science 2015. 40:e internationella symposium, MFCS 2015, Milano, Italien, 24–28 augusti 2015. Proceedings. Del II. Berlin : Springer Lecture Notes in Computer Science 9235, 175-186 (2015). MSC: 68Qxx
• Bulatov, Andrei A. Booleska max-co-kloner. (engelska) Zbl 1348.08004 Algebra Univers. 74, nr. 1-2, 139-162 (2015). Granskare: Lavinia Ciungu (Iowa City) MSC: 08A70 08A40 06B99
• Bulatov, Andrei A. Räkna problem tillfredsställelse. (engelska) Zbl 1373.68255 Jang, Sun Young (red.) et al., Proceedings of the International Congress of Mathematicians (ICM 2014), Seoul, Korea, 13–21 augusti 2014. Vol. IV: Inbjudna föreläsningar. Seoul: KM Kyung Moon Sa 561-584 (2014). MSC: 68Q25 68Q17
• Bulatov, Andrei A.; Wang, Cong Ungefär mycket tillfredsställande slumpmässig 2-SAT. (engelska) Zbl 06348076 Sinz, Carsten (red.) et al., Theory and applications of satisfiability testing — SAT 2014. 17:e internationella konferensen, som hölls som en del av Vienna summer of logic, VSL 2014, Wien, Österrike, 14 juli— 17, 2014. Förhandlingar. 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 Tillfredsställelse av begränsningar parametriserad av lösningens storlek. (engelska) Zbl 1360.68499 SIAM J. Comput. 43, nr. 2, 573-616 (2014). MSC: 68Q25 68Q17
• Bulatov, Andrei; Dalmau, Victor; Thurley, Marc Beskrivande komplexitet för ungefärlig räkning av CSP:er. (engelska) Zbl 1356.68090 Ronchi della Rocca, Simona (red.), Computer science logic 2013. Utvalda artiklar från den 27:e CSL-workshopen och den 22:a årliga konferensen för European Association for Computer Science Logic (EACSL), Torino, Italien, 2 september— 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. Komplexiteten i räknebegränsningsproblemet. (engelska) Zbl 1281.68130 J. ACM 60, nr. 5, artikelnr. 34, 41 sid. (2013). MSC: 68Q25 08A40 08A70 68Q15 68T20
• Bulatov, Andrei A.; Dyer, Martin; Goldberg, Leslie Ann; Jerrum, Mark; Mcquillan, Colin Uttryckbarheten av funktioner på den booleska domänen, med applikationer för att räkna CSP:er. (engelska) Zbl 1281.68131 J. ACM 60, nr. 5, artikelnr. 32, 36 sid. (2013). MSC: 68Q25 68W25 90C60
• Bulatov, Andrei A. (red.); Shur, Arseny M. (red.) Datavetenskap - teori och tillämpningar. 8:e internationella datavetenskapssymposium i Ryssland, CSR 2013, Ekaterinburg, Ryssland, 25—29 juni 2013. Proceedings. (engelska) Zbl 1264.68003 Lecture Notes in Computer Science 7913. Berlin: Springer ( ISBN 978-3-642-38535-3 /pbk). xii, 445 sid. (2013). MSC: 68-06 68Qxx 00B25
• Bulatov, Andrei A.; Dyer, Martin; Goldberg, Leslie Ann; Jerrum, Mark Logga-supermodulära funktioner, funktionella kloner och räknande CSP:er. (engelska) Zbl 1245.68100 Dürr, Christoph (red.) et al., STACS 2012. 29:e internationella symposium om teoretiska aspekter av datavetenskap, Paris, Frankrike, 29 februari – 3 mars 2012. Wadern: Schloss Dagstuhl für Informatik Zentrum für Leibniz Zentrum ( ISBN 978-3-939897-35-4 ). LIPICS - Leibniz International Proceedings in Informatics 14, 302-313, endast elektronisk (2012). MSC: 68Q25 68Q15
• Bulatov, Andrei; Dyer, Martin; Goldberg, Leslie Ann; Jalsenius, Markus; Jerrum, Mark; Richerby, David Komplexiteten hos vägd och oviktad #CSP. (engelska) Zbl 1282.68110 J. Comput. Syst. sci. 78, nr. 2, 681-688 (2012). MSC: 68Q15
• Bulatov, Andrei A.; Dalmau, Victor; Grohe, Martin; Marx, Daniel Räknar upp homomorfismer. (engelska) Zbl 1253.68165 J. Comput. Syst. sci. 78, nr. 2, 638-650 (2012). MSC: 68Q25 05C30 68R05
• Bulatov, Andrei A.; Hedayaty, Amir Räkna problem och kloner av funktioner. (engelska) Zbl 1236.68194 J. Mult.-Val. logga. mjuk dator. 18, nr. 2, 117-138 (2012). MSC: 68R05 03B50 08A40 68Q25
• Bulatov, Andrei A. Komplexiteten av konservativa tvångstillfredsställelseproblem. (engelska) Zbl 1351.68113 ACM Trans. Comput. logga. 12, nr. 4, artikelnr. 24, 66 sid. (2011). MSC: 68Q25 05C15 68T20
• Bulatov, Andrei A.; Marx, Dániel Tillfredsställelse av begränsningar parametriserad av lösningens storlek. (engelska) Zbl 1333.68136 Aceto, Luca (red.) et al., Automata, språk och programmering. 38:e internationella kollokviet, ICALP 2011, Zürich, Schweiz, 4-8 juli 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. Om CSP-dikotomiförmodan. (engelska) Zbl 1332.68065 Kulikov, Alexander (red.) et al., Datavetenskap - teori och tillämpningar. 6:e internationella datavetenskapssymposium i Ryssland, CSR 2011, St. Petersburg, Ryssland, 14-18 juni 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 Komplexiteten hos globala kardinalitetsbegränsningar. (engelska) Zbl 1202.68208 Logg. Metoder Comput. sci. 6, nr. 4, papper nr. 4, 27 sid. (2010). MSC: 68Q25
• Bulatov, Andrei A.; Dalmau, Victor; Grohe, Martin; Marx, Daniel Räknar upp homomorfismer. (engelska) Zbl 1236.68105 Albers, Susanne (red.) et al., STACS 2009. 26:e internationella symposium om teoretiska aspekter av datavetenskap, Freiburg, Tyskland, 26–28 februari 2009. Wadern: Schloss Dagstuhl — Leibniz ( Zentrum für ISBN 978-3-939897-09-5 ). LIPICS - Leibniz International Proceedings in Informatics 3, 231-242, endast elektronisk (2009). MSC: 68Q25 05C30 68R05
• Borner, F.; Bulatov, A.; Chen, H.; Jeavons, P.; Krokhin, A. Komplexiteten i spel med begränsningstillfredsställelse och QCSP. (engelska) Zbl 1188.68269 Inf. Comput. 207, nr. 9, 923-944 (2009). MSC: 68T20 68Q25 91A05
• Bulatov, Andrei; Dyer, Martin; Goldberg, Leslie Ann; Jalsenius, Markus; Richerby, David Komplexiteten i viktad boolesk #CSP med blandade tecken. (engelska) Zbl 1171.68013 Theor. Comput. sci. 410, nr. 38-40, 3949-3961 (2009). MSC: 68Q25 68T20
• Atserias, Albert; Bulatov, Andrei; Dawar, Anuj Affina ekvationssystem och räkneinfinitär logik. (engelska) Zbl 1168.68040 Theor. Comput. sci. 410, nr. 18, 1666-1683 (2009). MSC: 68T20 03C13 03C75 08A70 68Q25
• Bulatov, Andrei A.; Krokhin, Andrei; Larose, Benoit Dualiteter för problem med begränsningar. (engelska) Zbl 1171.68494 Creignou, Nadia (red.) et al., Complexity of constraints. En översikt över aktuella forskningsämnen. 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. Nya resultat om den algebraiska strategin för CSP. (engelska) Zbl 1171.08300 Creignou, Nadia (red.) et al., Complexity of constraints. En översikt över aktuella forskningsämnen. Berlin: Springer ( ISBN 978-3-540-92799-0 /pbk). Lecture Notes in Computer Science 5250, 68-92 (2008). MSC: 08A70 03B70
• Bulatov, Andrei A. Komplexiteten i räknebegränsningsproblemet. (engelska) Zbl 1153.68386 Aceto, Luca (red.) et al., Automata, språk och programmering. 35:e internationella kollokviet, ICALP 2008, Reykjavik, Island, 7-11 juli 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 Affina ekvationssystem och räkneinfinitär logik. (engelska) Zbl 1171.68721 Arge, Lars (red.) et al., Automata, språk och programmering. 34:e internationella kollokviet, ICALP 2007, Wrocław, Polen, 9-13 juli 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 Om kraften i k-konsistens. (engelska) Zbl 1171.68720 Arge, Lars (red.) et al., Automata, språk och programmering. 34:e internationella kollokviet, ICALP 2007, Wrocław, Polen, 9-13 juli 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 Lärande korsningsstängda klasser med signaturer. (engelska) Zbl 1127.68044 Theor. Comput. sci. 382, nr. 3, 209-220 (2007). MSC: 68Q32 68W05
• Bulatov, Andrei A.; Dalmau, Victor Mot en dikotomisats för tillfredsställelseproblemet med räknebegränsningar. (engelska) Zbl 1115.68141 Inf. Comput. 205, nr. 5, 651-678 (2007). MSC: 68T20 68Q25
• Bulatov, Andrei A. En dikotomisats för problem med begränsningstillfredsställelse på en 3-elementuppsättning. (engelska) Zbl 1316.68057 J. ACM 53, nr. 1, 66-120 (2006). MSC: 68Q25 68Q17 68T20
• Bulatov, AA Egenskapen att vara polynom för Mal'tsev-begränsningsproblem. (ryska, engelska) Zbl 1164.08307 Algebra Logika 45, No. 6, 655-686 (2006); översättning i Algebra Logic 45, nr. 6, 371-388 (2006). MSC: 08A70 68Q25 68T20
• Bulatov, Andrei A.; Skvortsov, Evgeny S. Effektivitet av lokal sökning. (engelska) Zbl 1187.68534 Biere, Armin (red.) et al., Theory and applications of satisfiability testing - SAT 2006. 9:e internationella konferensen, Seattle, WA, USA, 12-15 augusti 2006. Proceedings. Berlin: Springer ( ISBN 3-540-37206-7 /pbk). Lecture Notes in Computer Science 4121, 297-310 (2006). MSC: 68T20
• Bulatov, Andrei A. Kombinatoriska problem uppkomna från 2-semilattices. (engelska) Zbl 1110.08001 J. Algebra 298, No. 2, 321-339 (2006). Granskare: Christoph Meinel (Potsdam) MSC: 08A40 68Q25 68T20 06A07 06A12 08A70
• Bulatov, Andrei; Dalmau, Víctor En enkel algoritm för Mal'tsev-begränsningar. (engelska) Zbl 1112.08002 SIAM J. Comput. 36, nr. 1, 16-27 (2006). MSC: 08A70 68Q25 68T20
• Bulatov, AA Komplexiteten i problemet med tillfredsställelse med räknebegränsning. (ryska. engelsk sammanfattning) Zbl 1208.68198 Izv. Ural. gå s. Univ. 36, Mat. Mekh. 7, 67-82, 190 (2005). MSC: 68T20 68Q25
• Bulatov, Andrei A. Tre-element Mal'tsev algebras. (engelska) Zbl 1104.08001 Acta Sci. Matematik. 71, nr. 3-4, 469-500 (2005). Granskare: Manfred Armbrust (Köln) MSC: 08A40 08B05 08A30 08-04
• Bulatov, Andrei A. H-färgning dikotomi återbesökt. (engelska) Zbl 1086.68052 Theor. Comput. sci. 349, nr. 1, 31-39 (2005). MSC: 68Q25 05C15 05C85 68T20
• Krokhin, Andrei; Bulatov, Andrei; Jeavons, Peter Komplexiteten av tillfredsställelse av begränsningar: ett algebraiskt tillvägagångssätt. (engelska) 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, Kanada, 7-18 juli 2003. Dordrecht: Kluwer Academic Publishers ( ISBN 1-4020-3815-1 /hbk; 1-4020-3817-8/e-bok) . NATO Science Series II: Mathematics, Physics and Chemistry 207, 181-213 (2005). MSC: 68T20 68Q25
• Bulatov, Andrei; Grohe, Martin Komplexiteten hos partitionsfunktioner. (engelska) Zbl 1081.68030 Theor. Comput. sci. 348, nr. 2-3, 148-186 (2005). MSC: 68Q25 05C15 68R10 68T20
• Bulatov, Andrei; Jeavons, Peter; Krokhin, Andrei Klassificering av komplexiteten hos begränsningar med ändliga algebror. (engelska) Zbl 1071.08002 SIAM J. Comput. 34, nr. 3, 720-742 (2005). MSC: 08A70 68Q25 68T20 90C27
• Bulatov, AA Komplexiteten i det konservativa generaliserade tillfredsställbarhetsproblemet. (engelsk. ryskt original) Zbl 1378.68065 Dokl. Matematik. 70, nej. 1, 597-598 (2004); översättning från Dokl. Akad. Science 397, nr. 5, 583-585 (2004). MSC: 68Q25 06E30 68Q17
• Bulatov, Andrei; Grohe, Martin Komplexiteten hos partitionsfunktioner. (engelska) Zbl 1098.68616 Díaz, Josep (red.) et al., Automata, språk och programmering. 31:a internationella kollokviet, ICALP 2004, Åbo, Finland, 12-16 juli 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 Lärbarhet av relativt kvantifierade generaliserade formler. (engelska) Zbl 1110.68391 Ben-David, Shai (red.) et al., Algorithmic learning theory. 15:e internationella konferensen, ALT 2004, Padova, Italien, 2-5 oktober 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 En algebraisk metod för multi-sorterade begränsningar. (engelska) Zbl 1273.68337 Rossi, Francesca (red.), Principles and practice of constraint programmering - CP 2003. 9:e internationella konferensen, CP 2003, Kinsale, Irland, 29 september - 3 oktober 2003. Proceedings. Berlin: Springer ( ISBN 3-540-20202-1 /pbk). Lect. Obs Comput. sci. 2833, 183-198 (2003). MSC: 68T20 68P15
• Borner, Ferdinand; Bulatov, Andrei; Jeavons, Peter; Krokhin, Andrei Kvantifierade begränsningar: Algoritmer och komplexitet. (engelska) Zbl 1116.03314 Baaz, Matthias (red.) et al., Computer science logic. 17:e internationella workshopen CSL 2003, EACSL:s 12:e årliga konferens, 8:e Kurt Gödel-kollokviet KGC 2003, Wien, Österrike, 25-30 augusti 2003. Proceedings. Berlin: Springer ( ISBN 3-540-40801-0 /pbk). Lect. Obs Comput. sci. 2803, 58-70 (2003). MSC: 03B70 68Q25 68T20
• Bulatov, Andrei A.; Idziak, Paweł M. Räknar Mal'tsev-kloner i små uppsättningar. (engelska) Zbl 1023.08004 Diskret matematik. 268, nr. 1-3, 59-80 (2003). MSC: 08A40 08B05
• Bulatov, Andrei; Jeavons, Peter; Volkov, Mikhail Finita semigrupper som inför tänkbara begränsningar. (engelska) Zbl 1032.20037 Gomes, Gracinda MS (red.) et al., Semigroups, algorithms, automata and languages. Proceedings of workshops hölls vid International Centre of Mathematics, CIM, Coimbra, Portugal, maj, juni och juli 2001. Singapore: World Scientific. 313-329 (2002). Recensent: Francine Blanchet-Sadri (Greensboro) MSC: 20M05 68Q25
• Bulatov, Andrei A. Polynomkloner som innehåller Mal'tsev-operationen av grupperna \bbfZp2 och \bbfZp×\bbfZp. (engelska) Zbl 1022.08001 Multi-Valued Log. 8, nr. 2, 193-221 (2002). MSC: 08A40 08A30
• Bulatov, Andrei; Krokhin, Andrei; Jeavons, Peter Komplexiteten hos språk med maximala begränsningar. (engelska) Zbl 1323.68294 Proceedings of the trettiotredje årliga ACM symposium on theory of computing, STOC 2001. Hersonissos, Kreta, Grekland, 6-8 juli 2001. New York, NY: ACM Press ( ISBN 1-3491-1-5491-1-549-1 9 ). 667-674 (2001). MSC: 68Q17 68Q25 68T20
• Bulatov, Andrei A. Villkor som uppfylls av klongitter. (engelska) Zbl 1058.06005 Algebra Univers. 46, nr. 1-2, 237-241 (2001). Granskare: Ivan Chajda (Olomouc) MSC: 06B05 08A40
• Bulatov, A.; Krokhin, A.; Safin, K.; Semigrodskikh, A.; Sukhanov, E. Om strukturen av klongitter. II. (engelska) Zbl 1008.08001 Multi-Valued Log. 7, nr. 5-6, 379-389 (2001). MSC: 08A40
• Bulatov, Andrei Om antalet ändliga Mal'tsev-algebror. (engelska) Zbl 0986.08003 Chajda, I. (red.) et al., Bidrag till allmän algebra 13. Proceedings of the 60th workshop on general algebra “60. Arbeitstagung Allgemeine Algebra", Dresden, Tyskland, 22-25 juni 2000 och av sommarskolan '99 om allmän algebra och beställda uppsättningar, Velké Karlovice, Tjeckien, 30 augusti-4 september 1999. Klagenfurt: Verlag Johannes Heyn. bidrag. Gen. Algebra. 13, 41-54 (2001). MSC: 08A40 03B50
• Bulatov, Andrei A.; Krokhin, Andrei A.; Jeavons, Peter Constraint tillfredsställelseproblem och finita algebror. (engelska) Zbl 0973.68181 Montanari, Ugo (red.) et al., Automata, språk och programmering. 27:e internationella kollokviet, ICALP 2000, Genève, Schweiz, 9-15 juli 2000. Proceedings. Berlin: Springer. Lect. Obs Comput. sci. 1853, 272-282 (2000). MSC: 68R05 68T20 08A40
• Bulatov, AA Abstrakta egenskaper hos klassen av intervaller i gitter av slutna klasser. (Engelska. ryskt original) Zbl 0976.08001 Diskret matematik. Appl. 10, nr. 5, 481-498 (2000); översättning från Diskret. Matta. 12, nr. 4, 95-113 (2000). MSC: 08A40 03G10 08B20 03B50
• Bulatov, AA På en semigroup-egenskap för kloner. (engelska) Zbl 0971.08001 Kublanovsky, S. (red.) et al., Semigroups with applications, including semigroup rings. Internationell konferens till ära av ES Lyapin, St.-Petersburg, Ryssland, 19-30 juni 1995. St.-Petersburg: Severny Ochag, 63-66 (1999). Granskare: E.Płonka (Wodzisław) MSC: 08A40 08A02 20M99
• Bulatov, A. A. Subgitter av ett gitter av kloner av funktioner på en 3-elementuppsättning. I. (engelska. ryskt original) Zbl 0936.06005 Algebra Logika 38, No. 1, 3-23 (1999); översättning i Algebra Logic 38, nr. 1, 1-11 (1999). Granskare: ANRyaskin (Novosibirsk) MSC: 06B15 06A12 08A40
• Bulatov, Andrei A. Några oändliga intervaller i klongitter. (engelska) Zbl 0929.08003 Diskutera. Math., Algebra Stoch. Metoder 19, nr. 1, 63-74 (1999). MSC: 08A40 08A02 03B50
• Bulatov, A. A. Subgitter av gittret av kloner av funktioner på en 3-elementuppsättning. II. (engelsk. ryskt original) Zbl 0949.06001 Algebra Logika 38, No. 3, 269-295 (1999); översättning i Algebra Logic 38, nr. 3, 144-158 (1999). Granskare: ANRyaskin (Novosibirsk) MSC: 06B15 06A12 08A40
• Bulatov, A.A. Polynomredukter av moduler. II. Algebror för primitiva och nilpotenta funktioner. (engelska) Zbl 0923.08002 Multi-Valued Log. 3, nr. 3, 173-193 (1998). Granskare: B.Wojdyło (Toruń) MSC: 08A40 03B50
• Bulatov, A.A. Polynomredukter av moduler. I. Grov klassificering. (engelska) Zbl 0909.08003 Multi-Valued Log. 3, nr. 2, 135-154 (1998). Granskare: B.Wojdyło (Toruń) MSC: 08A40 08A30 03B50
• Bulatov, A.; Bertulis, A.; Mickienė, L. Geometriska illusioner: Studie och modellering. (engelska) Zbl 0899.92042 Biol. Cybern. 77, nr. 6, 395-406 (1997). MSC: 91E30
• Bulatov, A.A. Polynomredukter av moduler. (engelska. ryskt original) Zbl 0889.08005 Russ. Matematik. 40, nej. 10, 73-76 (1996); översättning från Izv. Vyssh. Uchebn., Mat 1996, nr. 10(413), 76-79 (1996). Granskare: D.Busneag (Craiova) MSC: 08A30 08A40 06B05

Publikationer

• Polynomitet i Maltsev CSP-problem; A. A. Bulatov; Algebra i Logika, 45:6 (2006), 655-686;
• Abstrakta egenskaper för klassen av intervall av gitter av slutna klasser; A. A. Bulatov; Diskret. Mat., 12:3 (2000), 95-113;
• Polynomreduktioner av moduler; A. A. Bulatov; Izv. universitet. Mat., 1996, nr 10, 76-79.

Anteckningar

1. ↑ Mathematical Genealogy  (engelska) - 1997.
2. ↑ Ural State University i biografier (2010) . Urals federala universitet . Hämtad 19 september 2018. Arkiverad från originalet 13 februari 2018. (obestämd)
3. ↑ Ural State University i biografier . biography.ideafix.co. Hämtad 19 september 2018. Arkiverad från originalet 28 februari 2019. (obestämd)
4. ↑ Bulatov, Andrey Alexandrovich . cs.sfu.ca. Hämtad 19 september 2018. Arkiverad från originalet 24 februari 2018. (obestämd)
5. ↑ Kommittéer/The 9th International Computer Science Symposium i Ryssland . logic.pdmi.ras.ru. Hämtad 19 september 2018. Arkiverad från originalet 10 mars 2014. (obestämd)

Länkar

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

Tematiska platser	Matematisk släktforskning ResearchGate Scopus zbMATH Öppna Helrysk matematisk portal
I bibliografiska kataloger GND : 1041847122 J9U : 987007362546105171 LCCN : nb2013013215 SUDOC : 228544572 VIAF : 312858524 WorldCat VIAF : 312858524