Acerca de este Curso

13,226 vistas recientes
Certificado para compartir
Obtén un certificado al finalizar
100 % en línea
Comienza de inmediato y aprende a tu propio ritmo.
Fechas límite flexibles
Restablece las fechas límite en función de tus horarios.
Nivel intermedio
Aprox. 25 horas para completar
Inglés (English)
Subtítulos: Inglés (English)

Instructor

Certificado para compartir
Obtén un certificado al finalizar
100 % en línea
Comienza de inmediato y aprende a tu propio ritmo.
Fechas límite flexibles
Restablece las fechas límite en función de tus horarios.
Nivel intermedio
Aprox. 25 horas para completar
Inglés (English)
Subtítulos: Inglés (English)

ofrecido por

Placeholder

EIT Digital

Programa - Qué aprenderás en este curso

Semana
1

Semana 1

3 horas para completar

SAT/SMT basics, SAT examples

3 horas para completar
6 videos (Total 58 minutos), 2 lecturas, 3 cuestionarios
6 videos
Introduction to SAT7m
SMT syntax and tools11m
Eight queens problem9m
Binary Arithmetic: addition10m
Binary Arithmetic: multiplication12m
2 lecturas
Examples from the lecture10m
Eight queens formula in SMT syntax10m
3 ejercicios de práctica
Truth table30m
Carries in binary addition30m
Binary multiplication30m
Semana
2

Semana 2

18 horas para completar

SMT applications

18 horas para completar
4 videos (Total 33 minutos), 2 lecturas, 7 cuestionarios
4 videos
Solving Sudoku7m
Scheduling8m
Bounded model checking8m
2 lecturas
Sudoku formula in SMT 2 format10m
Introduction10m
7 ejercicios de práctica
Rectangle fitting30m
Scheduling30m
Bounded Model Checking30m
Filling trucks for a magic factory4h
A sudoku variant4h
Job scheduling4h
Program correctness4h
Semana
3

Semana 3

3 horas para completar

Theory and algorithms for CNF-based SAT

3 horas para completar
6 videos (Total 56 minutos)
6 videos
Example of resolution8m
DPLL10m
Transforming DPLL to resolution9m
CDCL basics11m
CDCL optimizations6m
5 ejercicios de práctica
Resolution30m
apply resolution30m
DPLL30m
DPLL to resolution30m
CDCL basics
Semana
4

Semana 4

1 hora para completar

Theory and algorithms for SAT/SMT

1 hora para completar
6 videos (Total 55 minutos)
6 videos
The Tseitin transfomation10m
Introduction to the Simplex method7m
Optimizing by the Simplex method11m
Checking feasibility by the Simplex method8m
The Simplex method and SMT8m
4 ejercicios de práctica
Transforming a propositional formula to CNF
The Tseitin transfomation
Slack form
Optimizing by the Simplex method

Reseñas

Principales reseñas sobre AUTOMATED REASONING: SATISFIABILITY

Ver todas las reseñas

Preguntas Frecuentes

¿Tienes más preguntas? Visita el Centro de Ayuda al Alumno.