An Introduction to SAT and SMT

Roberto Sebastiani
Code: 
35002
Period: 
Monday, May 11, 2020 to Friday, May 22, 2020
Year: 
2020
Credits: 
3.00
Duration: 
20
Schedule: 

May 11, 2020 9:00-11:00
May 12, 2020 9:00-11:00
May 13, 2020 9:00-11:00
May 14, 2020 9:00-11:00
May 15, 2020 9:00-11:00
May 18, 2020 9:00-11:00
May 19, 2020 9:00-11:00
May 20, 2020 9:00-11:00
May 21, 2020 9:00-11:00
May 22, 2020 9:00-11:00