Acerca de este Curso

8,338 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)

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)

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.