Bulatov, Andrey Arnoldovich
Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 5. november 2021; checks kræver 3 redigeringer .| Andrey Arnoldovich Bulatov | |
|---|---|
| Fødselsdato | 11. januar 1975 (47 år) |
| Fødselssted | Alapaevsk |
| Land | USSR → Rusland |
| Arbejdsplads | |
| Alma Mater | Ural State University |
| Akademisk grad | Doktor i fysiske og matematiske videnskaber |
| Akademisk titel | Professor |
| videnskabelig rådgiver | Evgeny Vital'evich Sukhanov [d] [1] |
| Priser og præmier | Gödel-prisen ( 2021 ) |
Andrey Arnoldovich Bulatov - Doktor i fysiske og matematiske videnskaber , professor , lektor , vinder af Gödel-prisen (2021).
Biografi
Født i Alapaevsk, Sverdlovsk-regionen .
Uddannet fra Fakultetet for Matematik og Mekanik ved Ural State University med en grad i matematik. Indtil 2002 arbejdede han ved USU, fra 2002 til 2005 studerede han ved universitetets doktorgradsprogram under vejledning af professor L. N. Shevrin . Arbejder i øjeblikket på Simon Fraser University i Canada .
Forfatter til mange videnskabelige og pædagogiske værker. Gennemførte forskningscyklusser om kloners gitter og om anvendelser af universel algebra til teorien om beregningsmæssig kompleksitet. I 2002 blev han tildelt prisen for det bedste værk ved det 43. Internationale Symposium on the Foundations of Computer Science i Vancouver i USA . Vinder af UFU-prisen for høje præstationer inden for pædagogiske og metodiske aktiviteter i 2006 [2] [3] [4] [5] .
Større værker
- Bulatov, Andrei A. Problemer med begrænsningstilfredshed: kompleksitet og algoritmer. (engelsk) Zbl 06894736 Klein, Shmuel Tomi (red.) et al., Language and automata theory and applications. 12. internationale konference, 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.) Forord. (engelsk) 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 for ordadskillelse: er der korte identiteter i transformationssemigrupper? (engelsk) Zbl 1372.68156 Elektron. J Comb. 24, nr. 3, Research Paper P3.35, 12 s. (2017). MSC: 68Q45 20B30 20M20 68Q70 68R15
- Bulatov, Andrei; Goldberg, Leslie Ann; Jerrum, Mark; Richerby, David; Zivný, Stanislav Funktionelle kloner og udtrykkelighed af partitionsfunktioner. (engelsk) Zbl 06730360 Theor. Comput. sci. 687, 11-39 (2017). MSC: 08A40
- Bulatov, Andrei A. Grafer af relationelle strukturer, begrænsede typer. (Engelsk) Zbl 06863534 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer 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.) Forord. (engelsk) Zbl 1354.00085 Theory Comput. Syst. 59, nr. 2, 159-160 (2016). MSC: 00B25 68-06
- Bulatov, Andrei; Kozik, Marcin; Mayr, Peter; Steindl, Markus Undermagtens medlemskabsproblem for semigrupper. (engelsk) Zbl 06663545 Int. J Algebra Comput. 26, nr. 7, 1435-1451 (2016). MSC: 20M99 68Q25
- Bulatov, Andrei A. Konservativ begrænsning tilfredshed genbesøgt. (engelsk) Zbl 1346.68108 J. Comput. Syst. sci. 82, nr. 2, 347-356 (2016). MSC: 68Q25
- Bulatov, Andrei A.; Hedayaty, Amir Galois korrespondance til at tælle kvantificerere. (engelsk) Zbl 06930501 J. Mult.-Val. log. softcomputer. 24, nr. 5-6, 405-424 (2015). MSC: 08A70 08A40 06A15 68Q25
- Bulatov, Andrei A.; Skvortsov, Evgeny S. Faseovergang til lokal søgning på plantet SAT. (engelsk) Zbl 06482807 Italiano, F. (red.) et al., Mathematical foundations of computer science 2015. 40. internationale symposium, MFCS 2015, Milano, Italien, 24.–28. august 2015. Proceedings. Del II. Berlin : Springer Lecture Notes in Computer Science 9235, 175-186 (2015). MSC: 68Qxx
- Bulatov, Andrei A. Booleske max-co-kloner. (engelsk) Zbl 1348.08004 Algebra Univers. 74, nr. 1-2, 139-162 (2015). Anmelder: Lavinia Ciungu (Iowa City) MSC: 08A70 08A40 06B99
- Bulatov, Andrei A. Optælling af begrænsningstilfredshedsproblemer. (engelsk) Zbl 1373.68255 Jang, Sun Young (red.) et al., Proceedings of the International Congress of Mathematicians (ICM 2014), Seoul, Korea, 13.–21. august 2014. Vol. IV: Inviterede foredrag. Seoul: KM Kyung Moon Sa 561-584 (2014). MSC: 68Q25 68Q17
- Bulatov, Andrei A.; Wang, Cong Tilnærmelsesvis meget tilfredsstillende tilfældig 2-SAT. (engelsk) Zbl 06348076 Sinz, Carsten (red.) et al., Theory and applications of satisfiability testing — SAT 2014. 17. internationale konference, afholdt som en del af Vienna summer of logic, VSL 2014, Wien, Østrig, 14. juli— 17, 2014. Sagsbehandling. 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 Begrænsningstilfredshed parametriseret ved løsningsstørrelse. (engelsk) Zbl 1360.68499 SIAM J. Comput. 43, nr. 2, 573-616 (2014). MSC: 68Q25 68Q17
- Bulatov, Andrei; Dalmau, Victor; Thurley, Marc Beskrivende kompleksitet af tilnærmet optælling af CSP'er. (engelsk) Zbl 1356.68090 Ronchi della Rocca, Simona (red.), Computer science logic 2013. Udvalgte artikler fra den 27. CSL workshop og 22. årlige konference for 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. Kompleksiteten af tilfredshedsproblemet med tællebegrænsning. (engelsk) Zbl 1281.68130 J. ACM 60, No. 5, artikelnr. 34, 41 s. (2013). MSC: 68Q25 08A40 08A70 68Q15 68T20
- Bulatov, Andrei A.; Dyer, Martin; Goldberg, Leslie Ann; Jerrum, Mark; Mcquillan, Colin Udtrykkeligheden af funktioner på det boolske domæne med applikationer til at tælle CSP'er. (engelsk) Zbl 1281.68131 J. ACM 60, No. 5, artikelnr. 32, 36 s. (2013). MSC: 68Q25 68W25 90C60
- Bulatov, Andrei A. (red.); Shur, Arseny M. (red.) Datalogi - teori og anvendelser. 8. internationale datalogisymposium i Rusland, CSR 2013, Ekaterinburg, Rusland, 25.—29. juni 2013. Proceedings. (engelsk) 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, Andrei A.; Dyer, Martin; Goldberg, Leslie Ann; Jerrum, Mark Log-supermodulære funktioner, funktionelle kloner og tælle CSP'er. (engelsk) Zbl 1245.68100 Dürr, Christoph (red.) et al., STACS 2012. 29. internationale symposium om teoretiske aspekter af datalogi, Paris, Frankrig, 29. februar - 3. marts 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, kun elektronisk (2012). MSC: 68Q25 68Q15
- Bulatov, Andrei; Dyer, Martin; Goldberg, Leslie Ann; Jalsenius, Markus; Jerrum, Mark; Richerby, David Kompleksiteten af vægtede og uvægtede #CSP. (engelsk) Zbl 1282.68110 J. Comput. Syst. sci. 78, nr. 2, 681-688 (2012). MSC: 68Q15
- Bulatov, Andrei A.; Dalmau, Victor; Grohe, Martin; Marx, Daniel Opregning af homomorfier. (engelsk) Zbl 1253.68165 J. Comput. Syst. sci. 78, nr. 2, 638-650 (2012). MSC: 68Q25 05C30 68R05
- Bulatov, Andrei A.; Hedayaty, Amir Tælleproblemer og kloner af funktioner. (engelsk) Zbl 1236.68194 J. Mult.-Val. log. softcomputer. 18, nr. 2, 117-138 (2012). MSC: 68R05 03B50 08A40 68Q25
- Bulatov, Andrei A. Kompleksiteten af problemer med tilfredshed med konservative begrænsninger. (engelsk) Zbl 1351.68113 ACM Trans. Comput. log. 12, nr. 4, artikelnr. 24, 66 s. (2011). MSC: 68Q25 05C15 68T20
- Bulatov, Andrei A.; Marx, Dániel Begrænsningstilfredshed parametriseret ved løsningsstørrelse. (engelsk) Zbl 1333.68136 Aceto, Luca (red.) et al., Automata, sprog og programmering. 38. internationale kollokvium, 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 dikotomiformodningen. (engelsk) Zbl 1332.68065 Kulikov, Alexander (red.) et al., Datalogi - teori og anvendelser. 6. internationale datalogisymposium i Rusland, CSR 2011, St. Petersborg, Rusland, 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 Kompleksiteten af globale kardinalitetsbegrænsninger. (engelsk) Zbl 1202.68208 Log. Metoder Beregning. sci. 6, nr. 4, papir nr. 4, 27 s. (2010). MSC: 68Q25
- Bulatov, Andrei A.; Dalmau, Victor; Grohe, Martin; Marx, Daniel Opregning af homomorfier. (engelsk) Zbl 1236.68105 Albers, Susanne (red.) et al., STACS 2009. 26. internationale symposium om teoretiske aspekter af datalogi, Freiburg, Tyskland, 26.–28. februar 2009. Wadern: Schloss Dagstuhl — Leibniz ( Zentrum für ISBN 978-3-939897-09-5 ). LIPICS - Leibniz International Proceedings in Informatics 3, 231-242, kun elektronisk (2009). MSC: 68Q25 05C30 68R05
- Borner, F.; Bulatov, A.; Chen, H.; Jeavons, P.; Krokhin, A. Kompleksiteten af begrænsningstilfredshedsspil og QCSP. (engelsk) 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 Kompleksiteten af vægtet boolsk #CSP med blandede fortegn. (engelsk) Zbl 1171.68013 Theor. Comput. sci. 410, nr. 38-40, 3949-3961 (2009). MSC: 68Q25 68T20
- Atserias, Albert; Bulatov, Andrei; Dawar, Anuj Affine ligningssystemer og tælle uendelig logik. (engelsk) 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 til problemer med begrænsningstilfredshed. (engelsk) Zbl 1171.68494 Creignou, Nadia (red.) et al., Complexity of constraints. En oversigt over aktuelle forskningsemner. 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. Nylige resultater om den algebraiske tilgang til CSP. (engelsk) Zbl 1171.08300 Creignou, Nadia (red.) et al., Complexity of constraints. En oversigt over aktuelle forskningsemner. Berlin: Springer ( ISBN 978-3-540-92799-0 /pbk). Lecture Notes in Computer Science 5250, 68-92 (2008). MSC: 08A70 03B70
- Bulatov, Andrei A. Kompleksiteten af tilfredshedsproblemet med tællebegrænsning. (engelsk) Zbl 1153.68386 Aceto, Luca (red.) et al., Automata, sprog og programmering. 35. internationale kollokvium, 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 Affine ligningssystemer og tælle uendelig logik. (engelsk) Zbl 1171.68721 Arge, Lars (red.) et al., Automata, sprog og programmering. 34. internationale kollokvium, 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. (engelsk) Zbl 1171.68720 Arge, Lars (red.) et al., Automata, sprog og programmering. 34. internationale kollokvium, 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æring af vejkryds lukkede klasser med signaturer. (engelsk) Zbl 1127.68044 Theor. Comput. sci. 382, nr. 3, 209-220 (2007). MSC: 68Q32 68W05
- Bulatov, Andrei A.; Dalmau, Victor På vej mod en dikotomisætning for tællebegrænsnings-tilfredshedsproblemet. (engelsk) Zbl 1115.68141 Inf. Comput. 205, nr. 5, 651-678 (2007). MSC: 68T20 68Q25
- Bulatov, Andrei A. En dikotomisætning for begrænsningstilfredshedsproblemer på et 3-elementsæt. (engelsk) Zbl 1316.68057 J. ACM 53, No. 1, 66-120 (2006). MSC: 68Q25 68Q17 68T20
- Bulatov, AA Egenskaben ved at være polynomium for Mal'tsev-begrænsningstilfredshedsproblemer. (russisk, engelsk) Zbl 1164.08307 Algebra Logika 45, No. 6, 655-686 (2006); oversættelse i Algebra Logic 45, nr. 6, 371-388 (2006). MSC: 08A70 68Q25 68T20
- Bulatov, Andrei A.; Skvortsov, Evgeny S. Effektivitet af lokal søgning. (engelsk) Zbl 1187.68534 Biere, Armin (red.) et al., Theory and applications of satisfiability testing - SAT 2006. 9. internationale konference, Seattle, WA, USA, 12.-15. august 2006. Proceedings. Berlin: Springer ( ISBN 3-540-37206-7 /pbk). Lecture Notes in Computer Science 4121, 297-310 (2006). MSC: 68T20
- Bulatov, Andrei A. Kombinatoriske problemer rejst fra 2-semilattices. (engelsk) Zbl 1110.08001 J. Algebra 298, No. 2, 321-339 (2006). Anmelder: Christoph Meinel (Potsdam) MSC: 08A40 68Q25 68T20 06A07 06A12 08A70
- Bulatov, Andrei; Dalmau, Víctor En simpel algoritme til Mal'tsev-begrænsninger. (engelsk) Zbl 1112.08002 SIAM J. Comput. 36, nr. 1, 16-27 (2006). MSC: 08A70 68Q25 68T20
- Bulatov, AA Kompleksiteten af tællebegrænsningsproblemet. (Russisk. Engelsk resumé) Zbl 1208.68198 Izv. Ural. gos. Univ. 36, Mat. Mekh. 7, 67-82, 190 (2005). MSC: 68T20 68Q25
- Bulatov, Andrei A. Tre-element Mal'tsev algebraer. (engelsk) Zbl 1104.08001 Acta Sci. Matematik. 71, nr. 3-4, 469-500 (2005). Anmelder: Manfred Armbrust (Köln) MSC: 08A40 08B05 08A30 08-04
- Bulatov, Andrei A. H-farvedikotomi gensyn. (engelsk) Zbl 1086.68052 Theor. Comput. sci. 349, nr. 1, 31-39 (2005). MSC: 68Q25 05C15 05C85 68T20
- Krokhin, Andrei; Bulatov, Andrei; Jeavons, Peter Kompleksiteten af begrænsningstilfredshed: en algebraisk tilgang. (Engelsk) Zbl 1087.68107 Kudryavtsev, Valery B. et al., Strukturel teori om automater, semigrupper og universel algebra. Proceedings of the NATO Advanced Study Institute, Montreal, Quebec, Canada, 7.-18. juli 2003. Dordrecht: Kluwer Academic Publishers ( ISBN 1-4020-3815-1 /hbk; 1-4020-3817-8/e-bog) . NATO Science Series II: Mathematics, Physics and Chemistry 207, 181-213 (2005). MSC: 68T20 68Q25
- Bulatov, Andrei; Grohe, Martin Kompleksiteten af partitionsfunktioner. (engelsk) 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 af kompleksiteten af begrænsninger ved hjælp af endelige algebraer. (engelsk) Zbl 1071.08002 SIAM J. Comput. 34, nr. 3, 720-742 (2005). MSC: 08A70 68Q25 68T20 90C27
- Bulatov, AA Kompleksiteten af det konservative generaliserede tilfredsstillelsesproblem. (engelsk. russisk original) Zbl 1378.68065 Dokl. Matematik. 70, nr. 1, 597-598 (2004); oversættelse fra Dokl. Akad. Videnskab 397, nr. 5, 583-585 (2004). MSC: 68Q25 06E30 68Q17
- Bulatov, Andrei; Grohe, Martin Kompleksiteten af partitionsfunktioner. (engelsk) Zbl 1098.68616 Díaz, Josep (red.) et al., Automata, sprog og programmering. 31. internationale kollokvium, ICALP 2004, Turku, 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ærbarhed af relativt kvantificerede generaliserede formler. (engelsk) Zbl 1110.68391 Ben-David, Shai (red.) et al., Algorithmic learning theory. 15. internationale konference, 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 tilgang til multi-sorterede begrænsninger. (engelsk) Zbl 1273.68337 Rossi, Francesca (red.), Principles and practice of constraint programmering - CP 2003. 9. internationale konference, CP 2003, Kinsale, Irland, 29. september - 3. oktober 2003. Proceedings. Berlin: Springer ( ISBN 3-540-20202-1 /pbk). Lect. Bemærk Comput. sci. 2833, 183-198 (2003). MSC: 68T20 68P15
- Borner, Ferdinand; Bulatov, Andrei; Jeavons, Peter; Krokhin, Andrei Kvantificerede begrænsninger: Algoritmer og kompleksitet. (engelsk) Zbl 1116.03314 Baaz, Matthias (red.) et al., Computer science logic. 17. internationale workshop CSL 2003, 12. årlige konference for EACSL, 8. Kurt Gödel colloquium KGC 2003, Wien, Østrig, 25.-30. august 2003. Proceedings. Berlin: Springer ( ISBN 3-540-40801-0 /pbk). Lect. Bemærk Comput. sci. 2803, 58-70 (2003). MSC: 03B70 68Q25 68T20
- Bulatov, Andrei A.; Idziak, Paweł M. Tæller Mal'tsev-kloner på små sæt. (engelsk) Zbl 1023.08004 Diskret matematik. 268, nr. 1-3, 59-80 (2003). MSC: 08A40 08B05
- Bulatov, Andrei; Jeavons, Peter; Volkov, Mikhail Finite semigrupper, der pålægger håndterbare begrænsninger. (engelsk) Zbl 1032.20037 Gomes, Gracinda MS (red.) et al., Semigroups, algorithms, automata and languages. Proceedings of workshops afholdt på International Center of Mathematics, CIM, Coimbra, Portugal, maj, juni og juli 2001. Singapore: World Scientific. 313-329 (2002). Anmelder: Francine Blanchet-Sadri (Greensboro) MSC: 20M05 68Q25
- Bulatov, Andrei A. Polynomiske kloner indeholdende Mal'tsev-operationen af grupperne \bbfZp2 og \bbfZp×\bbfZp. (engelsk) Zbl 1022.08001 Multi-Valued Log. 8, nr. 2, 193-221 (2002). MSC: 08A40 08A30
- Bulatov, Andrei; Krokhin, Andrei; Jeavons, Peter Kompleksiteten af sprog med maksimal begrænsning. (Engelsk) Zbl 1323.68294 Proceedings of the treogtredive årlige ACM symposium on theory of computing, STOC 2001. Hersonissos, Kreta, Grækenland, 6.-8. juli 2001. New York, NY: ACM Press ( ISBN 1-3491-1-5491-1 9 ). 667-674 (2001). MSC: 68Q17 68Q25 68T20
- Bulatov, Andrei A. Betingelser opfyldt af klongitter. (engelsk) Zbl 1058.06005 Algebra Univers. 46, nr. 1-2, 237-241 (2001). Anmelder: Ivan Chajda (Olomouc) MSC: 06B05 08A40
- Bulatov, A.; Krokhin, A.; Safin, K.; Semigrodskikh, A.; Sukhanov, E. Om strukturen af klongitter. II. (engelsk) Zbl 1008.08001 Multi-Valued Log. 7, nr. 5-6, 379-389 (2001). MSC: 08A40
- Bulatov, Andrei Om antallet af endelige Mal'tsev algebraer. (engelsk) Zbl 0986.08003 Chajda, I. (red.) et al., Bidrag til generel algebra 13. Proceedings of the 60th workshop on general algebra “60. Arbeitstagung Allgemeine Algebra", Dresden, Tyskland, 22.-25. juni 2000 og af sommerskolen '99 om generel algebra og bestilte sæt, Velké Karlovice, Tjekkiet, 30. august-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 tilfredshedsproblemer og endelige algebraer. (engelsk) Zbl 0973.68181 Montanari, Ugo (red.) et al., Automata, sprog og programmering. 27. internationale kollokvium, ICALP 2000, Genève, Schweiz, 9.-15. juli 2000. Proceedings. Berlin: Springer. Lect. Bemærk Comput. sci. 1853, 272-282 (2000). MSC: 68R05 68T20 08A40
- Bulatov, AA Abstrakte egenskaber af klassen af intervaller i gitterne af lukkede klasser. (engelsk. russisk original) Zbl 0976.08001 Diskret matematik. Appl. 10, nr. 5, 481-498 (2000); oversættelse fra Diskret. Måtte. 12, nr. 4, 95-113 (2000). MSC: 08A40 03G10 08B20 03B50
- Bulatov, AA På en semigruppe egenskab af kloner. (engelsk) Zbl 0971.08001 Kublanovsky, S. (red.) et al., Semigroups with applications, including semigroup ringe. International konference til ære for ES Lyapin, St.-Petersburg, Rusland, 19.-30. juni 1995. St.-Petersburg: Severny Ochag, 63-66 (1999). Anmelder: E.Płonka (Wodzisław) MSC: 08A40 08A02 20M99
- Bulatov, A. A. Subgitter af et gitter af kloner af funktioner på et 3-element sæt. I. (engelsk. russisk original) Zbl 0936.06005 Algebra Logika 38, No. 1, 3-23 (1999); oversættelse i Algebra Logic 38, nr. 1, 1-11 (1999). Anmelder: ANRyaskin (Novosibirsk) MSC: 06B15 06A12 08A40
- Bulatov, Andrei A. Nogle uendelige intervaller i klongitter. (engelsk) Zbl 0929.08003 Diskuter. Math., Algebra Stoch. Metoder 19, nr. 1, 63-74 (1999). MSC: 08A40 08A02 03B50
- Bulatov, A. A. Subgitter af gitteret af kloner af funktioner på et 3-element sæt. II. (engelsk. russisk original) Zbl 0949.06001 Algebra Logika 38, No. 3, 269-295 (1999); oversættelse i Algebra Logic 38, nr. 3, 144-158 (1999). Anmelder: ANRyaskin (Novosibirsk) MSC: 06B15 06A12 08A40
- Bulatov, A.A. Polynomiske reduktioner af moduler. II. Algebraer af primitive og nilpotente funktioner. (engelsk) Zbl 0923.08002 Multi-Valued Log. 3, nr. 3, 173-193 (1998). Anmelder: B.Wojdyło (Toruń) MSC: 08A40 03B50
- Bulatov, A.A. Polynomiske reduktioner af moduler. I. Groft klassifikation. (engelsk) Zbl 0909.08003 Multi-Valued Log. 3, nr. 2, 135-154 (1998). Anmelder: B.Wojdyło (Toruń) MSC: 08A40 08A30 03B50
- Bulatov, A.; Bertulis, A.; Mickienė, L. Geometriske illusioner: Studie og modellering. (engelsk) Zbl 0899.92042 Biol. Cybern. 77, nr. 6, 395-406 (1997). MSC: 91E30
- Bulatov, A.A. Polynomiske reduktioner af moduler. (engelsk. russisk original) Zbl 0889.08005 Russ. Matematik. 40, nr. 10, 73-76 (1996); oversættelse fra Izv. Vyssh. Uchebn., Mat 1996, no. 10(413), 76-79 (1996). Anmelder: D.Busneag (Craiova) MSC: 08A30 08A40 06B05
Publikationer
- Polynomialitet af Maltsev CSP-problemer; A. A. Bulatov; Algebra i Logika, 45:6 (2006), 655-686;
- Abstrakte egenskaber af klassen af intervaller af gitter af lukkede klasser; A. A. Bulatov; Diskret. Mat., 12:3 (2000), 95-113;
- Polynomielle reduktioner af moduler; A. A. Bulatov; Izv. universiteter. Mat., 1996, nr. 10, 76-79.
Noter
- ↑ Matematisk genealogi (engelsk) - 1997.
- ↑ Ural State University i biografier (2010) . Ural føderale universitet . Hentet 19. september 2018. Arkiveret fra originalen 13. februar 2018.
- ↑ Ural State University i biografier . biography.ideafix.co. Hentet 19. september 2018. Arkiveret fra originalen 28. februar 2019.
- ↑ Bulatov, Andrey Alexandrovich . cs.sfu.ca. Hentet 19. september 2018. Arkiveret fra originalen 24. februar 2018.
- ↑ Komiteer / Det 9. Internationale Computer Science Symposium i Rusland . logic.pdmi.ras.ru. Hentet 19. september 2018. Arkiveret fra originalen 10. marts 2014.
Links
 Tematiske steder | ||||
|---|---|---|---|---|
| ||||
| vindere af Gödel-prisen | |
|---|---|
| 1990 |
|
| 2000 | |
| 2010 |
|