Результат исследований

Фильтр
статья в сборнике материалов конференции
2020

Cyclic shift on multi-component grammars

Okhotin, A. & Sorokin, A., 1 янв 2020, Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (ред.). Springer Nature, стр. 287-299 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12038 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

2019

Abelian Properties of Words

Puzynina, S., 1 янв 2019, Combinatorics on Words: 12th International Conference, WORDS 2019, Proceedings. Mercas, R. & Reidenbach, D. (ред.). Springer Nature, стр. 28-45 (Lecture Notes in Computer Science ; том 11682 ).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Adventures in monotone complexity and TFNP

Göös, M., Kamath, P., Robere, R. & Sokolov, D., 1 янв 2019, 10th Innovations in Theoretical Computer Science, ITCS 2019. Blum, A. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 38. (Leibniz International Proceedings in Informatics, LIPIcs; том 124).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

3 Цитирования (Scopus)

Boolean spectral analysis in categorical reservoir modelling

Ismagilov, N., Borovitskiy, V., Lifshits, M. & Platonova, M., 1 янв 2019, 4th EAGE Conference on Petroleum Geostatistics. European Association of Geoscientists and Engineers, ThPG14

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Collapsing superstring conjecture

Golovnev, A., Kulikov, A. S., Logunov, A., Mihajlin, I. & Nikolaev, M., сен 2019, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. Achlioptas, D. & Vegh, L. A. (ред.). 26. (Leibniz International Proceedings in Informatics; том 145).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

On Happy Colorings, Cuts, and Structural Parameterizations

Bliznets, I. & Sagunov, D., 1 янв 2019, Graph-Theoretic Concepts in Computer Science - 45th International Workshop, WG 2019, Revised Papers. Sau, I. & Thilikos, D. M. (ред.). Springer Nature, стр. 148-161 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11789 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

1 Цитирования (Scopus)

On the length of shortest strings accepted by two-way finite automata

Dobronravov, E., Dobronravov, N. & Okhotin, A., 1 янв 2019, Developments in Language Theory - 23rd International Conference, DLT 2019, Proceedings. Hofman, P. & Skrzypczak, M. (ред.). Springer Nature, стр. 88-99 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11647 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

On tseitin formulas, read-once branching programs and treewidth

Glinskih, L. & Itsykson, D., 1 янв 2019, Computer Science – Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Proceedings. van Bevern, R. & Kucherov, G. (ред.). Springer Nature, стр. 143-155 13 стр. (Lecture Notes in Computer Science; том 11532).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Reconstructing a convex polygon from its ω -cloud

Arseneva, E., Bose, P., De Carufel, J. L. & Verdonschot, S., 1 янв 2019, Computer Science – Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Proceedings. van Bevern, R. & Kucherov, G. (ред.). Springer Nature, стр. 25-37 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11532 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

2018

Improving circuit size upper bounds using SAT-solvers

Kulikov, A. S., 19 апр 2018, Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018. Institute of Electrical and Electronics Engineers Inc., стр. 305-308 4 стр. (Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018; том 2018-January).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

1 Цитирования (Scopus)

Lower bounds for unrestricted boolean circuits: Open problems

Kulikov, A. S., 1 янв 2018, Computer Science - Theory and Applications - 13th International Computer Science Symposium in Russia, CSR 2018, Proceedings. Podolskii, V. V. & Fomin, F. V. (ред.). Springer Nature, стр. 15-22 8 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10846 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Monotone circuit lower bounds from resolution

Garg, A., Kamath, P., Göös, M. & Sokolov, D., 20 июн 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Henzinger, M., Kempe, D. & Diakonikolas, I. (ред.). Association for Computing Machinery, стр. 801-814 14 стр. (Proceedings of the Annual ACM Symposium on Theory of Computing).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

6 Цитирования (Scopus)

Rectilinear link diameter and radius in a rectilinear polygonal domain

Arseneva, E., Chiu, M. K., Korman, M., Markovic, A., Okamoto, Y., Ooms, A., Van Renssen, A. & Roeloffzen, M., 1 дек 2018, 29th International Symposium on Algorithms and Computation, ISAAC 2018. Liao, C-S., Hsu, W-L. & Lee, D-T. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, стр. 58:1-58:13 (Leibniz International Proceedings in Informatics, LIPIcs; том 123).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

1 Цитирования (Scopus)

Reordering rule makes OBDD proof systems stronger

Buss, S., Itsykson, D., Knop, A. & Sokolov, D., 1 июн 2018, 33rd Computational Complexity Conference, CCC 2018. Servedio, R. A. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, стр. 161-1624 1464 стр. (Leibniz International Proceedings in Informatics, LIPIcs; том 102).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

2 Цитирования (Scopus)
2017

Computing majority by constant depth majority circuits with low fan-in gates

Kulikov, A. S. & Podolskii, V. V., 1 мар 2017, 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017. Vallee, B. & Vollmer, H. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 49. (Leibniz International Proceedings in Informatics, LIPIcs; том 66).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

3 Цитирования (Scopus)

Dag-like communication and its applications

Sokolov, D., 1 янв 2017, Computer Science - Theory and Applications - 12th International Computer Science Symposium in Russia, CSR 2017, Proceedings. Weil, P. (ред.). Springer Nature, стр. 294-307 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10304 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

6 Цитирования (Scopus)

Hard satisfiable formulas for splittings by linear combinations

Itsykson, D. & Knop, A., 1 янв 2017, Theory and Applications of Satisfiability Testing – SAT 2017 - 20th International Conference, Proceedings. Gaspers, S. & Walsh, T. (ред.). Springer Nature, стр. 53-61 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10491 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

2 Цитирования (Scopus)

On OBDD-based algorithms and proof systems that dynamically change order of variables

Itsykson, D., Knop, A., Romashchenko, A. & Sokolov, D., 1 мар 2017, 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017. Vallee, B. & Vollmer, H. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 43. (Leibniz International Proceedings in Informatics, LIPIcs; том 66).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

3 Цитирования (Scopus)

Random Walks in Nonhomogeneous Poisson Environment

Davydov, Y. & Konakov, V., 1 янв 2017, Modern Problems of Stochastic Analysis and Statistics - Selected Contributions in Honor of Valentin Konakov. Panov, V. (ред.). Springer Nature, стр. 3-24 22 стр. (Springer Proceedings in Mathematics and Statistics; том 208).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

Satisfiable tseitin formulas are hard for nondeterministic read-once branching programs

Glinskih, L. & Itsykson, D., 1 ноя 2017, 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017. Larsen, K. G., Raskin, J-F. & Bodlaender, H. L. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; том 83).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

2016

A Better-Than-3n Lower Bound for the Circuit Complexity of an Explicit Function

Find, M. G., Golovnev, A., Hirsch, E. A. & Kulikov, A. S., 14 дек 2016, Proceedings - 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016. IEEE Computer Society, стр. 89-98 10 стр. 7782921. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; том 2016-December).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

10 Цитирования (Scopus)

A new hierarchical clustering algorithm to identify non-overlapping like-minded communities

Deepak, T. S., Adhya, H., Kejriwal, S., Gullapalli, B. & Shannigrahi, S., 10 июл 2016, HT 2016 - Proceedings of the 27th ACM Conference on Hypertext and Social Media. Association for Computing Machinery, стр. 319-321 3 стр. (HT 2016 - Proceedings of the 27th ACM Conference on Hypertext and Social Media).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

3 Цитирования (Scopus)

Circuit size lower bounds and #SAT upper bounds through a general framework

Golovnev, A., Kulikov, A. S., Smal, A. V. & Tamaki, S., 1 авг 2016, 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016. Muscholl, A., Faliszewski, P. & Niedermeier, R. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 45. (Leibniz International Proceedings in Informatics, LIPIcs; том 58).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

4 Цитирования (Scopus)

Complexity of distributions and average-case hardness

Itsykson, D., Knop, A. & Sokolov, D., 1 дек 2016, 27th International Symposium on Algorithms and Computation, ISAAC 2016. Hong, S-H. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, стр. 38.1-38.12 (Leibniz International Proceedings in Informatics, LIPIcs; том 64).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Hardness of approximation for H-Free edge modification problems

Bliznets, I., Cygan, M., Komosa, P. & Pilipczuk, M., 1 сен 2016, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 19th International Workshop, APPROX 2016 and 20th International Workshop, RANDOM 2016. Jansen, K., Mathieu, C., Rolim, J. D. P. & Umans, C. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; том 60).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

1 Цитирования (Scopus)

Lower bounds for the parameterized complexity of Minimum Fill-in and other completion problems

Bliznets, I., Cygan, M., Komosa, P., Mach, L. & Pilipczuk, M., 1 янв 2016, 27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016. Krauthgamer, R. (ред.). Association for Computing Machinery, стр. 1132-1151 20 стр. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; том 2).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

15 Цитирования (Scopus)

On the limits of gate elimination

Golovnev, A., Hirsch, E. A., Knop, A. & Kulikov, A. S., 1 авг 2016, 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016. Muscholl, A., Faliszewski, P. & Niedermeier, R. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 46. (Leibniz International Proceedings in Informatics, LIPIcs; том 58).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

2 Цитирования (Scopus)

Tight bounds for graph homomorphism and subgraph isomorphism

Cygan, M., Fomin, F. V., Golovnev, A., Kulikov, A. S., Mihajlin, I., Pachocki, J. & Socala, A., 1 янв 2016, 27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016. Krauthgamer, R. (ред.). Association for Computing Machinery, стр. 1643-1649 7 стр. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; том 3).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

12 Цитирования (Scopus)

Weighted gate elimination: Boolean dispersers for quadratic varieties imply improved circuit lower bounds

Golovnev, A. & Kulikov, A. S., 14 янв 2016, ITCS 2016 - Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science. Association for Computing Machinery, стр. 405-411 7 стр. (ITCS 2016 - Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Открытый доступ
6 Цитирования (Scopus)
2015

Greedy conjecture for strings of length 4

Kulikov, A. S., Savinov, S. & Sluzhaev, E., 1 янв 2015, Combinatorial Pattern Matching - 26th Annual Symposium, CPM 2015, Proceedings. Vaccaro, U., Porat, E. & Cicalese, F. (ред.). Springer Nature, стр. 307-315 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9133).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

2 Цитирования (Scopus)

Heuristic time hierarchies via hierarchies for sampling distributions

Itsykson, D., Knop, A. & Sokolov, D., 1 янв 2015, Algorithms and Computation - 26th International Symposium, ISAAC 2015, Proceedings. Elbassioni, K. & Makino, K. (ред.). Springer Nature, стр. 201-211 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9472).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

1 Цитирования (Scopus)

Parameterized complexity of superstring problems

Bliznets, I., Fomin, F. V., Golovach, P. A., Karpov, N., Kulikov, A. S. & Saurabh, S., 1 янв 2015, Combinatorial Pattern Matching - 26th Annual Symposium, CPM 2015, Proceedings. Vaccaro, U., Porat, E. & Cicalese, F. (ред.). Springer Nature, стр. 89-99 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9133).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Resolution complexity of perfect matching principles for sparse graphs

Itsykson, D., Slabodkin, M. & Sokolov, D., 1 янв 2015, Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Proceedings. Beklemishev, L. D., Musatov, D. V. & Musatov, D. V. (ред.). Springer Nature, стр. 219-230 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9139).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

1 Цитирования (Scopus)
2014

A subexponential parameterized algorithm for proper interval completion

Bliznets, I., Fomin, F. V., Pilipczuk, M. & Pilipczuk, M., 1 янв 2014, Algorithms, ESA 2014 - 22nd Annual European Symposium, Proceedings. Springer Nature, стр. 173-184 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 8737 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

10 Цитирования (Scopus)

Families with infants: A general approach to solve hard partition problems

Golovnev, A., Kulikov, A. S. & Mihajlin, I., 1 янв 2014, Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Proceedings. PART 1 ред. Springer Nature, стр. 551-562 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 8572 LNCS, № PART 1).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

2 Цитирования (Scopus)

Inferring social ties from common activities in twitter

Sharma, U., Suman, A. & Shannigrahi, S., 1 янв 2014, HT 2014 - Proceedings of the 25th ACM Conference on Hypertext and Social Media. Association for Computing Machinery, стр. 318-320 3 стр. (HT 2014 - Proceedings of the 25th ACM Conference on Hypertext and Social Media).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Lower bounds for splittings by linear combinations

Itsykson, D. & Sokolov, D., 1 янв 2014, Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Proceedings. PART 2 ред. Springer Nature, стр. 372-383 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 8635 LNCS, № PART 2).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

10 Цитирования (Scopus)
2013

Approximating shortest superstring problem using de Bruijn graphs

Golovnev, A., Kulikov, A. S. & Mihajlin, I., 24 сен 2013, Combinatorial Pattern Matching - 24th Annual Symposium, CPM 2013, Proceedings. стр. 120-129 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7922 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

9 Цитирования (Scopus)

Graph expansion, tseitin formulas and resolution proofs for CSP

Itsykson, D. & Oparin, V., 29 ноя 2013, Computer Science - Theory and Applications - 8th International Computer Science Symposium in Russia, CSR 2013. стр. 162-173 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7913 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

1 Цитирования (Scopus)

Largest chordal and interval subgraphs faster than 2n

Bliznets, I., Fomin, F. V., Pilipczuk, M. & Villanger, Y., 24 сен 2013, Algorithms, ESA 2013 - 21st Annual European Symposium, Proceedings. стр. 193-204 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 8125 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

4 Цитирования (Scopus)

Solving 3-superstring in 3n/3 time

Golovnev, A., Kulikov, A. S. & Mihajlin, I., 15 окт 2013, Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Proceedings. стр. 480-491 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 8087 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

3 Цитирования (Scopus)
2012

A 5n - o(n) lower bound on the circuit size over U 2 of a linear Boolean function

Kulikov, A. S., Melanich, O. & Mihajlin, I., 18 июн 2012, How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Proceedings. стр. 432-439 8 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7318 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

2 Цитирования (Scopus)

A new algorithm for parameterized MAX-SAT

Bliznets, I. & Golovnev, A., 1 дек 2012, Parameterized and Exact Computation - 7th International Symposium, IPEC 2012, Proceedings. стр. 37-48 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7535 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

16 Цитирования (Scopus)

Computing all MOD-functions simultaneously

Demenkov, E., Kulikov, A. S., Mihajlin, I. & Morizumi, H., 4 сен 2012, Computer Science - Theory and Applications - 7th International Computer Science Symposium in Russia, CSR 2012, Proceedings. стр. 81-88 8 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7353 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

2 Цитирования (Scopus)
2011

An elementary proof of a 3n - o(n) lower bound on the circuit complexity of affine dispersers

Demenkov, E. & Kulikov, A. S., 1 сен 2011, Mathematical Foundations of Computer Science 2011 - 36th International Symposium, MFCS 2011, Proceedings. стр. 256-265 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 6907 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

23 Цитирования (Scopus)

Lower bounds for myopic DPLL algorithms with a cut heuristic

Itsykson, D. & Sokolov, D., 26 дек 2011, Algorithms and Computation - 22nd International Symposium, ISAAC 2011, Proceedings. стр. 464-473 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7074 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

4 Цитирования (Scopus)

Satisfiability certificates verifiable in subexponential time

Dantsin, E. & Hirsch, E. A., 27 июн 2011, Theory and Application of Satisfiability Testing - 14th International Conference, SAT 2011, Proceedings. стр. 19-32 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 6695 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

2 Цитирования (Scopus)

Streaming algorithms for 2-coloring uniform hypergraphs

Radhakrishnan, J. & Shannigrahi, S., 1 сен 2011, Algorithms and Data Structures - 12th International Symposium, WADS 2011, Proceedings. стр. 667-678 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 6844 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

5 Цитирования (Scopus)

The complexity of inversion of explicit Goldreich's function by DPLL algorithms

Itsykson, D. & Sokolov, D., 23 июн 2011, Computer Science - Theory and Applications - 6th International Computer Science Symposium in Russia, CSR 2011, Proceedings. стр. 134-147 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 6651 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

3 Цитирования (Scopus)
2010

Circuit complexity and multiplicative complexity of Boolean functions

Kojevnikov, A. & Kulikov, A. S., 29 июл 2010, Programs, Proofs, Processes - 6th Conference on Computability in Europe, CiE 2010, Proceedings. стр. 239-245 7 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 6158 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

11 Цитирования (Scopus)