Program Overview
Photo credits: Glasgow Life
Photo credits: Glasgow Life
SMT Workshop (Day 1 of 2)
ExCoS
ML4SP
Soft Constraints
Joint CP/SAT Doctoral Program
SMT Workshop (Day 2 of 2)
ModRef
Pragmatics of SAT
QBF (Morning)
Path to the Holy Grail (Afternoon)
Counting and Sampling
LLM-Solve
Joint CP/SAT Doctoral Program
CP, SAT, and SoCS Main Conference
SoCS Doctoral Program
Civic Reception
CP, SAT, and SoCS Main Conference
SoCS Doctoral Program
CP, SAT, and SoCS Main Conference
SoCS Doctoral Program
Conference Banquet
CP, SAT, and SoCS Main Conference