Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning Jun 29, 2026 CP’13, Uppsala, Sweden, Video 1:05:15, Slides
