Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning Sep 20, 2016 CP’13, Uppsala, Sweden, Video 1:05:15, Slides
