A Personal History of Practical SAT Solving

Опубликовано: 01 Январь 1970
на канале: Simons Institute
1,611
35

Armin Biere (Johannes Kepler University)
https://simons.berkeley.edu/talks/tbd...
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing


Смотрите видео A Personal History of Practical SAT Solving онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь Simons Institute 01 Январь 1970, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 1,611 раз и оно понравилось 35 людям.