Aconselha-se a leitura dos seguintes documentos para quem quiser rever conceitos básicos de lógica:
- Mathematical Logic for Computer Science : M. Ben-Ari 2012 Springer-Verlag
- Logic in Computer Science: Modelling and Reasoning about Systems : M. Huth e M. Ryan 2004 Cambridge University Press
Para exemplos de SMT vejam o guide do Z3.
Attachments
- Aula01-intro
- TPC 18/9: The Science of Brute Force
- Aula02-sat-model-I
- Aula03-sat-model-II
- TPC 27/9: Boolean satisfiability - from theoretical hardness to practical success
- Aula04-sat-algs
- Aula05-card-pb-encodings
- Aula06-overconstrained
- Aula07-core-guided
- Aula08-pb
- Aula09-mus
- Aula10-mcs
- Aula11+12-duality
- lecture13-smt-intro.pdf
- lecture14-smt.pdf
- lecture15-smt.pdf
- lecture16-17-18-csp.pdf
- Aulas19+20+21+22-asp