Attachments
- HandbookSAT: CNF encodings
- HandbookSAT: Complete Algorithms
- HandbookSAT: CDCL Algorithms
- Handbook ModelChecking: SAT
- HandbookSAT: MaxSAT
- HandbookSAT: Pseudo Boolean
- HandbookSAT: MUS
- Paper: MUS @ ISMVL'10
- Paper: MUS @ AiCom'12
- Paper: duality MUS+MCS @ CP'11
- Paper: MCS @ IJCAI'13
- ASP @ AI Magazine 2016 fall