Для студентов МГУ им. Ломоносова 11 семестрa по предмету Boolean SAT-SMT Solvers for Software Engineering
Презентации лекцийПрезентации лекций
2020-08-25
2020-08-25
СтудИзба
Презентации лекций
Описание
Описание файла отсутствует
Список файлов в архиве
- Презентации лекций
- 2 Combining machine learning with deduction for SAT solvers.pdf 1,08 Mb
- 2 Understanding VSIDS Branching Heuristics in CDCL SAT solvers.pdf 514,54 Kb
- 5 Motivation for SMT solvers, and combination of decision procedures.pdf 1,96 Mb
- 6 Combination of decision procedures.pdf 745,74 Kb
- 7 Counterexample-guided abstraction refinement(CEGAR). CEGAR-based SMT solver.pdf 1,96 Mb
- Presentation of course overview.pdf 163,09 Kb
- Статьи к лекциям
- Exponential Recency Weighted Average Branching Heuristic for SAT Solvers.pdf 255,56 Kb
- GRASP—A New Search Algorithm for Satisfiability.pdf 66,87 Kb
- Impact of Community Structure on SAT Solver Performance.pdf 1,59 Mb
- Learning Rate Based Branching Heuristic for SAT Solvers.pdf 425 Kb
- The Quest for Efficient Boolean Satisfiability Solvers.pdf 151,39 Kb
- Understanding VSIDS Branching Heuristics in CDCL SAT solvers.pdf 269,92 Kb
Комментарии
Сопутствующие материалы
FREE
Принципы работы с требованиями к ПО. Леффингуэлл (2002).djvu
Тестирование ПО
FREE
Язык UML. Руководство пользователя. Буч_ Рамбо_ Якобсон (2-е издание) (2006).pdf
(UML) Методы анализа и проектирования ПО
FREE
Практикум
Суперкомпьютерное моделирование и технологии (Попова)
FREE
Pushkareva - Политический менеджмент.pdf
Политические технологии
FREE
Котельников И., Чеботаев П. LaTeX2e по-русски.pdf
Компьютерный практикум по специальности
FREE
Федоренко Р.П. Введение в вычислительную физику.djvu
Компьютерный практикум по специальности
