CDCL-based proof systems

---