Bulatov, Andrei Arnoldovich
La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 5 de noviembre de 2021; las comprobaciones requieren 3 ediciones .| Andréi Arnoldovich Bulatov | |
|---|---|
| Fecha de nacimiento | 11 de enero de 1975 (47 años) |
| Lugar de nacimiento | Alapaevsk |
| País | URSS → Rusia |
| Lugar de trabajo | |
| alma mater | Universidad Estatal de los Urales |
| Titulo academico | Doctor en Ciencias Físicas y Matemáticas |
| Título académico | Profesor |
| consejero científico | Evgeny Vital'evich Sukhanov [d] [1] |
| Premios y premios | Premio Gödel ( 2021 ) |
Andrey Arnoldovich Bulatov - Doctor en Ciencias Físicas y Matemáticas , Profesor , Profesor Asociado , laureado del Premio Gödel (2021).
Biografía
Nacido en Alapaevsk, Región de Sverdlovsk .
Graduado de la Facultad de Matemáticas y Mecánica de la Universidad Estatal de los Urales con una licenciatura en matemáticas. Hasta 2002, trabajó en la USU, de 2002 a 2005 estudió en el programa de doctorado de la universidad bajo la dirección del profesor L. N. Shevrin . Actualmente trabaja en la Universidad Simon Fraser en Canadá .
Autor de numerosas obras científicas y educativas. Ciclos completos de investigación sobre redes de clones y sobre aplicaciones del álgebra universal a la teoría de la complejidad computacional. En 2002 recibió el premio al mejor trabajo en el 43º Simposio Internacional sobre los Fundamentos de las Ciencias de la Computación en Vancouver , EE.UU. Ganador del premio UFU por altos logros en actividades educativas y metodológicas en 2006 [2] [3] [4] [5] .
Grandes obras
- Bulatov, Andrei A. Problemas de satisfacción de restricciones: complejidad y algoritmos. (Inglés) Zbl 06894736 Klein, Shmuel Tomi (ed.) et al., Teoría y aplicaciones del lenguaje y los autómatas. 12.ª conferencia internacional, LATA 2018, Ramat Gan, Israel, del 9 al 11 de abril de 2018. Actas. Cham : Springer Apuntes de conferencias en informática 10792, 1-25 (2018). MSC: 68Q45
- Bulatov, Andrei A. (ed.); Hirsch, Edward A. (ed.); Pin, Jean-Éric (ed.) Prefacio. (inglés) Zbl 1372.00093 Computación teórica. sist. 61, núm. 2, 261-262 (2017). MSC: 00B25 68-06
- Bulatov, Andrei A.; Karpova, Olga; Shur, Arseny M.; Startsev, Konstantin Límites inferiores en la separación de palabras: ¿hay identidades cortas en los semigrupos de transformación? (Inglés) Zbl 1372.68156 Electrón. Peine J. 24, núm. 3, Documento de investigación P3.35, 12 p. (2017). MSC: 68Q45 20B30 20M20 68Q70 68R15
- Bulatov, Andrei; Goldberg, Leslie Ann; Jerrum, Marcos; Richerby, David; Zivný, Stanislav Clones funcionales y expresibilidad de funciones de partición. (Inglés) Zbl 06730360 Teor. computar ciencia 687, 11-39 (2017). MSC: 08A40
- Bulatov, Andrei A. Gráficos de estructuras relacionales, tipos restringidos. (Inglés) Zbl 06863534 Actas del 31.er simposio anual ACM/IEEE de 2016 sobre lógica en informática, LICS 2016, Ciudad de Nueva York, NY, EE. UU., 5-8 de julio de 2016. Nueva 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.) Prefacio. (inglés) Zbl 1354.00085 Computación teórica. sist. 59, núm. 2, 159-160 (2016). MSC: 00B25 68-06
- Bulatov, Andrei; Kozik, Marcin; Mayr, Peter; Steindl, Markus El problema de pertenencia a subpoderes para semigrupos. (Inglés) Zbl 06663545 Int. Cálculo de álgebra J. 26, núm. 7, 1435-1451 (2016). MSC: 20M99 68Q25
- Bulatov, Andrei A. Revisión de la satisfacción de la restricción conservadora. (Inglés) Zbl 1346.68108 J. Cómputo. sist. ciencia 82, núm. 2, 347-356 (2016). MSC: 68Q25
- Bulatov, Andrei A.; Hedayaty, correspondencia de Amir Galois para contar cuantificadores. (Inglés) Zbl 06930501 J. Mult.-Val. Iniciar sesión. computadora blanda. 24, núm. 5-6, 405-424 (2015). MSC: 08A70 08A40 06A15 68Q25
- Bulatov, Andrei A.; Skvortsov, Evgeny S. Transición de fase para búsqueda local en SAT plantado. (Inglés) Zbl 06482807 Italiano, F. (ed.) et al., Fundamentos matemáticos de la informática 2015. 40° simposio internacional, MFCS 2015, Milán, Italia, 24 al 28 de agosto de 2015. Actas. Parte II. Berlín : Springer Apuntes de conferencias en informática 9235, 175-186 (2015). MSC: 68Qxx
- Bulatov, Andrei A. Boolean max-co-clones. (Inglés) Zbl 1348.08004 Algebra Univers. 74, núm. 1-2, 139-162 (2015). Revisor: Lavinia Ciungu (Iowa City) MSC: 08A70 08A40 06B99
- Bulatov, Andrei A. Problemas de satisfacción de restricciones de conteo. (inglés) Zbl 1373.68255 Jang, Sun Young (ed.) et al., Proceedings of the International Congress of Mathematicians (ICM 2014), Seúl, Corea, 13 al 21 de agosto de 2014. vol. IV: Conferencias invitadas. Seúl: KM Kyung Moon Sa 561-584 (2014). MSC: 68Q25 68Q17
- Bulatov, Andrei A.; Wang, Cong Aproximación de 2-SAT aleatorio altamente satisfactorio. (inglés) Zbl 06348076 Sinz, Carsten (ed.) et al., Teoría y aplicaciones de las pruebas de satisfacción — SAT 2014. 17ª conferencia internacional, celebrada como parte del verano de lógica de Viena, VSL 2014, Viena, Austria, 14 de julio— 17, 2014. Actas. Berlín: 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 Satisfacción de restricciones parametrizadas por tamaño de solución. (Inglés) Zbl 1360.68499 SIAM J. Comput. 43, núm. 2, 573-616 (2014). MSC: 68Q25 68Q17
- Bulatov, Andrei; Dalmau, Víctor; Thurley, Marc Complejidad descriptiva de CSP de conteo aproximado. (inglés) Zbl 1356.68090 Ronchi della Rocca, Simona (ed.), Lógica informática 2013. Documentos seleccionados del 27.º taller de CSL y la 22.ª conferencia anual de la Asociación Europea de Lógica Informática (EACSL), Turín, Italia, 2 de septiembre— 5, 2013. Wadern: Schloss Dagstuhl - Leibniz Zentrum für Informatik ( ISBN 978-3-939897-60-6 ). LÍPICS - Procedimientos internacionales de informática de Leibniz 23, 149-164 (2013). MSC: 68Q19
- Bulatov, Andrei A. La complejidad del problema de satisfacción de restricciones de conteo. (Inglés) Zbl 1281.68130 J. ACM 60, No. 5, artículo n. 34, 41 pág. (2013). MSC: 68Q25 08A40 08A70 68Q15 68T20
- Bulatov, Andrei A.; Dyer, Martín; Goldberg, Leslie Ann; Jerrum, Marcos; Mcquillan, Colin La expresibilidad de funciones en el dominio booleano, con aplicaciones para contar CSP. (Inglés) Zbl 1281.68131 J. ACM 60, No. 5, artículo n. 32, 36 págs. (2013). MSC: 68Q25 68W25 90C60
- Bulatov, Andrei A. (ed.); Shur, Arseny M. (ed.) Informática: teoría y aplicaciones. 8º simposio internacional de informática en Rusia, CSR 2013, Ekaterimburgo, Rusia, 25 al 29 de junio de 2013. Actas. (Inglés) Zbl 1264.68003 Lecture Notes in Computer Science 7913. Berlín: Springer ( ISBN 978-3-642-38535-3 /pbk). XII, 445 pág. (2013). MSC: 68-06 68Qxx 00B25
- Bulatov, Andrei A.; Dyer, Martín; Goldberg, Leslie Ann; Jerrum, Mark Log: funciones supermodulares, clones funcionales y CSP de conteo. (Inglés) Zbl 1245.68100 Dürr, Christoph (ed.) et al., STACS 2012. 29° simposio internacional sobre aspectos teóricos de la informática, París, Francia, 29 de febrero — 3 de marzo de 2012. Wadern: Schloss Dagstuhl — Leibniz Zentrum für Informatik ( ISBN 978-3-939897-35-4 ). LIPICS - Leibniz International Proceedings in Informatics 14, 302-313, solo electrónico (2012). MSC: 68Q25 68Q15
- Bulatov, Andrei; Dyer, Martín; Goldberg, Leslie Ann; Jalsenius, Markus; Jerrum, Marcos; Richerby, David La complejidad de #CSP ponderado y no ponderado. (Inglés) Zbl 1282.68110 J. Cómputo. sist. ciencia 78, núm. 2, 681-688 (2012). MSC: 68Q15
- Bulatov, Andrei A.; Dalmau, Víctor; Grohe, Martín; Marx, Daniel Enumeración de homomorfismos. (Inglés) Zbl 1253.68165 J. Cómputo. sist. ciencia 78, núm. 2, 638-650 (2012). MSC: 68Q25 05C30 68R05
- Bulatov, Andrei A.; Hedayaty, Amir Problemas de conteo y clones de funciones. (Inglés) Zbl 1236.68194 J. Mult.-Val. Iniciar sesión. computadora blanda. 18, núm. 2, 117-138 (2012). MSC: 68R05 03B50 08A40 68Q25
- Bulatov, Andrei A. Complejidad de los problemas de satisfacción de restricciones conservadoras. (Inglés) Zbl 1351.68113 ACM Trans. computar Iniciar sesión. 12, núm. 4, artículo n. 24, 66 pág. (2011). MSC: 68Q25 05C15 68T20
- Bulatov, Andrei A.; Marx, Dániel Satisfacción de restricciones parametrizadas por tamaño de solución. (inglés) Zbl 1333.68136 Aceto, Luca (ed.) et al., Autómatas, lenguajes y programación. 38º coloquio internacional, ICALP 2011, Zúrich, Suiza, del 4 al 8 de julio de 2011. Actas, Parte I. Berlín: Springer ( ISBN 978-3-642-22005-0 /pbk). Apuntes de conferencias en informática 6755, 424-436 (2011). MSC: 68Q25 68Q17
- Bulatov, Andrei A. Sobre la conjetura de la dicotomía CSP. (Inglés) Zbl 1332.68065 Kulikov, Alexander (ed.) et al., Ciencias de la computación: teoría y aplicaciones. Sexto simposio internacional de informática en Rusia, CSR 2011, St. San Petersburgo, Rusia, 14 al 18 de junio de 2011. Actas. Berlín: 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 La complejidad de las restricciones de cardinalidad global. (Inglés) Zbl 1202.68208 Log. Computación de métodos. ciencia 6, núm. 4, Papel No. 4, 27 págs. (2010). MSC: 68Q25
- Bulatov, Andrei A.; Dalmau, Víctor; Grohe, Martín; Marx, Daniel Enumeración de homomorfismos. (inglés) Zbl 1236.68105 Albers, Susanne (ed.) et al., STACS 2009. 26º simposio internacional sobre aspectos teóricos de la informática, Freiburg, Alemania, 26–28 de febrero de 2009. Wadern: Schloss Dagstuhl — Leibniz Zentrum für Informatik ( ISBN 978-3-939897-09-5 ). LIPICS - Leibniz International Proceedings in Informatics 3, 231-242, solo electrónico (2009). MSC: 68Q25 05C30 68R05
- Borner, F.; Bulatov, A.; Chen, H.; Jeavons, P.; Krokhin, A. La complejidad de los juegos de satisfacción de restricciones y QCSP. (Inglés) Zbl 1188.68269 Inf. computar 207, núm. 9, 923-944 (2009). MSC: 68T20 68Q25 91A05
- Bulatov, Andrei; Dyer, Martín; Goldberg, Leslie Ann; Jalsenius, Markus; Richerby, David La complejidad del #CSP booleano ponderado con signos mixtos. (Inglés) Zbl 1171.68013 Teor. computar ciencia 410, núm. 38-40, 3949-3961 (2009). MSC: 68Q25 68T20
- Atserias, Albert; Bulatov, Andrei; Dawar, Anuj Sistemas afines de ecuaciones y lógica infinita de conteo. (Inglés) Zbl 1168.68040 Teor. computar ciencia 410, núm. 18, 1666-1683 (2009). MSC: 68T20 03C13 03C75 08A70 68Q25
- Bulatov, Andrei A.; Krojin, Andrei; Larose, Benoit Dualidades para problemas de satisfacción de restricciones. (Inglés) Zbl 1171.68494 Creignou, Nadia (ed.) et al., Complejidad de restricciones. Una visión general de los temas de investigación actuales. Berlín: 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. Resultados recientes sobre el enfoque algebraico del CSP. (Inglés) Zbl 1171.08300 Creignou, Nadia (ed.) et al., Complejidad de restricciones. Una visión general de los temas de investigación actuales. Berlín: Springer ( ISBN 978-3-540-92799-0 /pbk). Lecture Notes in Computer Science 5250, 68-92 (2008). MSC: 08A70 03B70
- Bulatov, Andrei A. La complejidad del problema de satisfacción de restricciones de conteo. (inglés) Zbl 1153.68386 Aceto, Luca (ed.) et al., Autómatas, lenguajes y programación. 35º coloquio internacional, ICALP 2008, Reykjavik, Islandia, 7-11 de julio de 2008. Actas, Parte I. Berlín: Springer ( ISBN 978-3-540-70574-1 /pbk). Apuntes de conferencias en informática 5125, 646-661 (2008). MSC: 68Q25
- Atserias, Albert; Bulatov, Andrei; Dawar, Anuj Sistemas afines de ecuaciones y lógica infinita de conteo. (Inglés) Zbl 1171.68721 Arge, Lars (ed.) et al., Autómatas, lenguajes y programación. 34º coloquio internacional, ICALP 2007, Wrocław, Polonia, 9-13 de julio de 2007. Actas. Berlín: 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 Sobre el poder de la k-consistencia. (Inglés) Zbl 1171.68720 Arge, Lars (ed.) et al., Autómatas, lenguajes y programación. 34º coloquio internacional, ICALP 2007, Wrocław, Polonia, 9-13 de julio de 2007. Actas. Berlín: 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 Intersección de aprendizaje-clases cerradas con firmas. (Inglés) Zbl 1127.68044 Teor. computar ciencia 382, núm. 3, 209-220 (2007). MSC: 68Q32 68W05
- Bulatov, Andrei A.; Dalmau, Victor Hacia un teorema de dicotomía para el problema de satisfacción de la restricción de conteo. (Inglés) Zbl 1115.68141 Inf. computar 205, núm. 5, 651-678 (2007). MSC: 68T20 68Q25
- Bulatov, Andrei A. Un teorema de dicotomía para problemas de satisfacción de restricciones en un conjunto de 3 elementos. (Inglés) Zbl 1316.68057 J. ACM 53, No. 1, 66-120 (2006). MSC: 68Q25 68Q17 68T20
- Bulatov, AA La propiedad de ser polinómico para problemas de satisfacción de restricciones de Mal'tsev. (ruso, inglés) Zbl 1164.08307 Algebra Logika 45, No. 6, 655-686 (2006); traducción en Algebra Logic 45, No. 6, 371-388 (2006). MSC: 08A70 68Q25 68T20
- Bulatov, Andrei A.; Skvortsov, Evgeny S. Eficiencia de la búsqueda local. (Inglés) Zbl 1187.68534 Biere, Armin (ed.) et al., Teoría y aplicaciones de las pruebas de satisfacción - SAT 2006. 9.ª conferencia internacional, Seattle, WA, EE. UU., 12 al 15 de agosto de 2006. Actas. Berlín: Springer ( ISBN 3-540-37206-7 /pbk). Lecture Notes in Computer Science 4121, 297-310 (2006). MSC: 68T20
- Bulatov, Andrei A. Problemas combinatorios planteados a partir de 2 semiretículos. (Inglés) Zbl 1110.08001 J. Álgebra 298, No. 2, 321-339 (2006). Revisor: Christoph Meinel (Potsdam) MSC: 08A40 68Q25 68T20 06A07 06A12 08A70
- Bulatov, Andrei; Dalmau, Víctor Un algoritmo simple para las restricciones de Mal'tsev. (Inglés) Zbl 1112.08002 SIAM J. Comput. 36, núm. 1, 16-27 (2006). MSC: 08A70 68Q25 68T20
- Bulatov, AA Complejidad del problema de satisfacción de la restricción de conteo. (Resumen en ruso. Inglés) Zbl 1208.68198 Izv. Ural. va Universidad 36, Mat. Mej. 7, 67-82, 190 (2005). MSC: 68T20 68Q25
- Bulatov, Andrei A. Álgebras de Mal'tsev de tres elementos. (Inglés) Zbl 1104.08001 Acta Sci. Matemáticas. 71, núm. 3-4, 469-500 (2005). Revisor: Manfred Armbrust (Köln) MSC: 08A40 08B05 08A30 08-04
- Bulatov, Andrei A. Revisión de la dicotomía de coloración H. (Inglés) Zbl 1086.68052 Teor. computar ciencia 349, núm. 1, 31-39 (2005). MSC: 68Q25 05C15 05C85 68T20
- Krojin, Andrei; Bulatov, Andrei; Jeavons, Peter La complejidad de la satisfacción de restricciones: un enfoque algebraico. (Inglés) Zbl 1087.68107 Kudryavtsev, Valery B. et al., Teoría estructural de autómatas, semigrupos y álgebra universal. Actas del Instituto de Estudios Avanzados de la OTAN, Montreal, Quebec, Canadá, del 7 al 18 de julio de 2003. Dordrecht: Kluwer Academic Publishers ( ISBN 1-4020-3815-1 /hbk; 1-4020-3817-8/e-book) . Serie científica de la OTAN II: Matemáticas, física y química 207, 181-213 (2005). MSC: 68T20 68Q25
- Bulatov, Andrei; Grohe, Martin La complejidad de las funciones de partición. (Inglés) Zbl 1081.68030 Teor. computar ciencia 348, núm. 2-3, 148-186 (2005). MSC: 68Q25 05C15 68R10 68T20
- Bulatov, Andrei; Jeavons, Peter; Krokhin, Andrei Clasificación de la complejidad de las restricciones usando álgebras finitas. (Inglés) Zbl 1071.08002 SIAM J. Comput. 34, núm. 3, 720-742 (2005). MSC: 08A70 68Q25 68T20 90C27
- Bulatov, AA La complejidad del problema de satisfacibilidad generalizado conservador. (Inglés. Original ruso) Zbl 1378.68065 Dokl. Matemáticas. 70, núm. 1, 597-598 (2004); traducción de Dokl. Akád. Ciencia 397, núm. 5, 583-585 (2004). MSC: 68Q25 06E30 68Q17
- Bulatov, Andrei; Grohe, Martin La complejidad de las funciones de partición. (Inglés) Zbl 1098.68616 Díaz, Josep (ed.) et al., Autómatas, lenguajes y programación. 31er coloquio internacional, ICALP 2004, Turku, Finlandia, 12-16 de julio de 2004. Actas. Berlín: 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 de fórmulas generalizadas relativamente cuantificadas. (Inglés) Zbl 1110.68391 Ben-David, Shai (ed.) et al., Teoría del aprendizaje algorítmico. 15ª conferencia internacional, ALT 2004, Padua, Italia, del 2 al 5 de octubre de 2004. Actas. Berlín: 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 Un enfoque algebraico de las restricciones de clasificación múltiple. (Inglés) Zbl 1273.68337 Rossi, Francesca (ed.), Principios y práctica de la programación de restricciones - CP 2003. 9ª conferencia internacional, CP 2003, Kinsale, Irlanda, 29 de septiembre - 3 de octubre de 2003. Actas. Berlín: Springer ( ISBN 3-540-20202-1 /pbk). lect. Nota Cómputo. ciencia 2833, 183-198 (2003). MSC: 68T20 68P15
- Borner, Fernando; Bulatov, Andrei; Jeavons, Peter; Krokhin, Andrei Restricciones cuantificadas: Algoritmos y complejidad. (Inglés) Zbl 1116.03314 Baaz, Matthias (ed.) et al., Lógica informática. 17º taller internacional CSL 2003, 12ª conferencia anual de la EACSL, 8º coloquio Kurt Gödel KGC 2003, Viena, Austria, 25-30 de agosto de 2003. Actas. Berlín: Springer ( ISBN 3-540-40801-0 /pbk). lect. Nota Cómputo. ciencia 2803, 58-70 (2003). MSC: 03B70 68Q25 68T20
- Bulatov, Andrei A.; Idziak, Paweł M. Contando clones de Mal'tsev en conjuntos pequeños. (Inglés) Zbl 1023.08004 Matemática discreta. 268, núm. 1-3, 59-80 (2003). MSC: 08A40 08B05
- Bulatov, Andrei; Jeavons, Peter; Volkov, Mikhail Semigrupos finitos que imponen restricciones manejables. (Inglés) Zbl 1032.20037 Gomes, Gracinda MS (ed.) et al., Semigrupos, algoritmos, autómatas y lenguajes. Actas de los talleres realizados en el Centro Internacional de Matemáticas, CIM, Coimbra, Portugal, mayo, junio y julio de 2001. Singapur: World Scientific. 313-329 (2002). Revisor: Francine Blanchet-Sadri (Greensboro) MSC: 20M05 68Q25
- Bulatov, Andrei A. Clones polinómicos que contienen la operación de Mal'tsev de los grupos \bbfZp2 y \bbfZp×\bbfZp. (Inglés) Zbl 1022.08001 Registro de valores múltiples. 8, núm. 2, 193-221 (2002). MSC: 08A40 08A30
- Bulatov, Andrei; Krojin, Andrei; Jeavons, Peter La complejidad de los lenguajes de máxima restricción. (Inglés) Zbl 1323.68294 Actas del trigésimo tercer simposio anual de ACM sobre teoría de la computación, STOC 2001. Hersonissos, Creta, Grecia, 6-8 de julio de 2001. Nueva York, NY: ACM Press ( ISBN 1-581-13349- 9 ). 667-674 (2001). MSC: 68Q17 68Q25 68T20
- Bulatov, Andrei A. Condiciones satisfechas por celosías de clones. (Inglés) Zbl 1058.06005 Algebra Univers. 46, núm. 1-2, 237-241 (2001). Revisor: Ivan Chajda (Olomouc) MSC: 06B05 08A40
- Bulatov, A.; Krojin, A.; Safin, K.; Semigrodskikh, A.; Sukhanov, E. Sobre la estructura de las redes de clones. II. (Inglés) Zbl 1008.08001 Registro de valores múltiples. 7, núm. 5-6, 379-389 (2001). MSC: 08A40
- Bulatov, Andrei Sobre el número de álgebras finitas de Mal'tsev. (Inglés) Zbl 0986.08003 Chajda, I. (ed.) et al., Contribuciones al álgebra general 13. Actas del 60º taller sobre álgebra general “60. Arbeitstagung Allgemeine Algebra", Dresden, Alemania, 22-25 de junio de 2000 y de la escuela de verano '99 sobre álgebra general y conjuntos ordenados, Velké Karlovice, República Checa, 30 de agosto-4 de septiembre de 1999. Klagenfurt: Verlag Johannes Heyn. contribución general Álgebra. 13, 41-54 (2001). MSC: 08A40 03B50
- Bulatov, Andrei A.; Krojin, Andrei A.; Jeavons, Peter Problemas de satisfacción de restricciones y álgebras finitas. (Inglés) Zbl 0973.68181 Montanari, Ugo (ed.) et al., Autómatas, lenguajes y programación. 27º coloquio internacional, ICALP 2000, Ginebra, Suiza, 9 al 15 de julio de 2000. Actas. Berlín: Springer. lect. Nota Cómputo. ciencia 1853, 272-282 (2000). MSC: 68R05 68T20 08A40
- Bulatov, AA Propiedades abstractas de la clase de intervalos en las redes de clases cerradas. (Inglés. Original en ruso) Zbl 0976.08001 Matemáticas discretas. aplicación 10, núm. 5, 481-498 (2000); traducción de Diskret. Estera. 12, núm. 4, 95-113 (2000). MSC: 08A40 03G10 08B20 03B50
- Bulatov, AA Sobre la propiedad de un semigrupo de los clones. (Inglés) Zbl 0971.08001 Kublanovsky, S. (ed.) et al., Semigrupos con aplicaciones, incluidos los anillos de semigrupos. Conferencia internacional en honor de ES Lyapin, San Petersburgo, Rusia, 19-30 de junio de 1995. San Petersburgo: Severny Ochag, 63-66 (1999). Revisor: E.Płonka (Wodzisław) MSC: 08A40 08A02 20M99
- Bulatov, A. A. Subredes de una red de clones de funciones en un conjunto de 3 elementos. I. (Inglés. Original en ruso) Zbl 0936.06005 Algebra Logika 38, No. 1, 3-23 (1999); traducción en Algebra Logic 38, no. 1, 1-11 (1999). Revisor: ANRyaskin (Novosibirsk) MSC: 06B15 06A12 08A40
- Bulatov, Andrei A. Algunos intervalos infinitos en celosías de clones. (Inglés) Zbl 0929.08003 Discutir. Matemáticas, Álgebra Stoch. Métodos 19, No. 1, 63-74 (1999). MSC: 08A40 08A02 03B50
- Bulatov, A. A. Subredes de la red de clones de funciones en un conjunto de 3 elementos. II. (Inglés. Original en ruso) Zbl 0949.06001 Algebra Logika 38, No. 3, 269-295 (1999); traducción en Algebra Logic 38, no. 3, 144-158 (1999). Revisor: ANRyaskin (Novosibirsk) MSC: 06B15 06A12 08A40
- Bulatov, A.A. Reducciones polinómicas de módulos. II. Álgebras de funciones primitivas y nilpotentes. (Inglés) Zbl 0923.08002 Registro de valores múltiples. 3, núm. 3, 173-193 (1998). Revisor: B.Wojdyło (Toruń) MSC: 08A40 03B50
- Bulatov, A.A. Reducciones polinómicas de módulos. I. Clasificación aproximada. (Inglés) Zbl 0909.08003 Registro de valores múltiples. 3, núm. 2, 135-154 (1998). Revisor: B.Wojdyło (Toruń) MSC: 08A40 08A30 03B50
- Bulatov, A.; Bertulís, A.; Mickienė, L. Ilusiones geométricas: estudio y modelado. (Inglés) Zbl 0899.92042 Biol. cibernético 77, núm. 6, 395-406 (1997). MSC: 91E30
- Bulatov, A.A. Reducciones polinómicas de módulos. (Inglés. Original en ruso) Zbl 0889.08005 Russ. Matemáticas. 40, núm. 10, 73-76 (1996); traducción de Izv. Vyssh. Uchebn., Mat 1996, no. 10(413), 76-79 (1996). Revisor: D. Busneag (Craiova) MSC: 08A30 08A40 06B05
Publicaciones
- Problemas de polinomialidad de Maltsev CSP; A. A. Bulatov; Álgebra i Logika, 45:6 (2006), 655-686;
- Propiedades abstractas de la clase de intervalos de redes de clases cerradas; A. A. Bulatov; discreto Mat., 12:3 (2000), 95-113;
- Reducciones polinómicas de módulos; A. A. Bulatov; Izv. universidades Mat., 1996, Nº 10, 76-79.
Notas
- ↑ Genealogía matemática (inglés) - 1997.
- ^ Universidad Estatal de Ural en biografías (2010) . Universidad Federal de los Urales . Consultado el 19 de septiembre de 2018. Archivado desde el original el 13 de febrero de 2018.
- ↑ Universidad Estatal de los Urales en biografías . biografía.ideafix.co. Consultado el 19 de septiembre de 2018. Archivado desde el original el 28 de febrero de 2019.
- ↑ Bulatov, Andrei Alexandrovich . cs.sfu.ca. Consultado el 19 de septiembre de 2018. Archivado desde el original el 24 de febrero de 2018.
- ↑ Comités/Noveno Simposio Internacional de Informática en Rusia . logic.pdmi.ras.ru. Consultado el 19 de septiembre de 2018. Archivado desde el original el 10 de marzo de 2014.
Enlaces
 sitios temáticos | ||||
|---|---|---|---|---|
| ||||
| Ganadores del premio Gödel | |
|---|---|
| 1990 |
|
| 2000 | |
| 2010 |
|