Вы здесь

Главная

булевы функции

Связанные издания:

Arithmetic of Finite Fields: Proc./Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 2010
Arithmetic of Finite Fields: Revised Selected Papers/7th International Workshop, WAIFI 2018, Bergen, Norway, June 2018
Automated Deduction - CADE 28: Proc./28th International Conference on Automated Deduction, Virtual Event, July 2021
Automated Reasoning: Proc./8th International Joint Conference, IJCAR 2016, Coimbra, Portugal. June 2016
Boolean Functions and Equations
Cellular Automata and Discrete Complex Systems: Proc./25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 2019
Coalgebraic Methods in Computer Science: Proc./15th IFIP WG 1.3 International Workshop, CMCS 2020 Colocated with ETAPS 2020, Dublin, Ireland, April 2020
Combinatorial Algorithms: Proc./31st International Workshop, IWOCA 2020, Bordeaux, France, June 2020
Genetic Programming: Proc./22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 2019
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2022, Deerfield Beach,FL,USA, January 2022
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
On Tractability of Disjoint AND-Decomposition of Boolen Formulas
Principles and Practice of Constraint Programming: Proc./26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 2020
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/25th International Workshop, WADT 2020, Virtual Event, April 2020
Relational and Algebraic Methods in Computer Science: Proc./18th International Conference, RAMiCS 2020, Palaiseau, France, April 2020
Rewriting Logic and Its Applications: Revised Selected Papers/13th International Workshop, WRLA 202, Virtual Event, October 2020
Sequences and Their Applications - SETA 2010: Proc./6th International Conference, Paris, France, September 2010
Sequences and Their Applications - SETA 2012: Proc./7th International Conference, Waterloo,ON,Canada, June 2012
Sequences and Their Applications - SETA 2014: Proc./8th International Conference, Melbourne, VIC, Australia, November 2014
Theory and Applications of Satisfiability Testing - SAT 2020: Proc./23rd International Conference, Alghero, Italy, July 2020
Theory and Applications of Satisfiability Testing - SAT 2021: Proc./24th International Conference, Barcelona, Spain, July 2021
Алгебраические, комбинаторные и криптографические свойства параметров аффинных ограничений булевых функций
Избранные вопросы теории булевых функций
Конструкции и свойства корреляционно-иммунных и платовидных булевых функций
Нахождение, оценка и сравнение числа бесповторных булевых функций в различных базисах
О влиянии ограничений на сложность реализации монотонных булевых функций
О влиянии ограничений на сложность реализации монотонных булевых функций
О построении и оценках характеристик корреляционно-имунных булевых функций и сложных комбинаторных объектов
О числе элементов свободной дистрибутивной структуры (О числе монотонных булевых функций)
Сложность булевых функций в классах полиномиальных форм
Сравнение сложности различных ДНФ булевых функций
Стягиваемые булевы функции и минимизация в нормальных формах