Вы здесь

Главная

вычислительная сложность

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

Theory and Applications of Satisfiability Testing - SAT 2009: Proc./12th International Conference, SAT 2009, Swansea, UK, June/July 2009
Theory and Applications of Satisfiability Testing - SAT 2014: Proc./17th International Conference Held as Part of the Vienna Summer of Logoc, VSL 2014, Vienna, Austria, July 2014
Topics in Theoretical Computer Science: Proc./3rd IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 2020
Trastworthy Global Computing: Revised Selected Papers/8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 2013
Types for Proofs and Programs: Revised Selected Papers/ International Conference, TYPES 2008, Toronto, Italy, March 2008
WALCOM: Algorithms and Compitation: Proc./12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 2018
WALCOM: Algorithms and Computation: Proc./10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 2016
WALCOM: Algorithms and Computation: Proc./11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March, 2017
WALCOM: Algorithms and Computation: Proc./16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 2022
WALCOM: Algorithms and Computation: Proc./6th International Workshop, WALCOM 2012, Dhaka, Bangladesh, February 2012
Web and Internet Economics: Proc./9th International Conference, WINE 2013, Cambridge,MA,USA, December 2013
Исследование вычислительной сложности алгоритмов аналитических преобразований