Algoritmos para Lógica Computacional
pt
en
Attachments
Handbook_v1_CNF_Encodings.pdf
Handbook_v1_CDCL.pdf
Handbook_ModelChecking_SAT.pdf
Handbook_v2_MaxSAT_draft.pdf
Handbook_v2_PseudoBoolean_draft.pdf
Página Inicial
Grupos
Avaliação
Bibliografia
Horário
Métodos de Avaliação
Objectivos
Planeamento
Programa
Turnos
Anúncios
Sumários
Notas
Resultado dos QUC
Zoom links
Office Hours
Slides
Projects
Bibliography (complement)
Labs
Lab 01
Lab 02
Lab 03
Lab 04
Lab 07
Lab 09
Lab 11
Lab 12
Grading
Exams
Bibliography (Complement)