Session: Session 1: To SAT solve, or not to SAT solve

Moderator: Vinicius Callegaro
Session page: https://iwls20.cade.utah.edu/session-1-internal/