...
- To be a marketplace of ideas for SAT/SMT solver developers and power users
- Connect new power users with established users and solver developers
- Connect complexity theorists with practitioners
- Connect researchers in non-CDCL approaches (e.g., Physics inspired) with researchers in CDCL-based approaches to SAT
- Encourage discussion on solvers for multicores, solver-based programming languages and empirical complexity
| Attachments | ||
|---|---|---|
|