This little (and very first!) tutorial explains the underlying workflow in Answer Set Programming (ASP) . For illustration, we use graph coloring as a guiding example. The first part explains the basic modeling methodology of ASP, while the second one is dedicated to handling ASP systems. On the side, basic statistics are used to gain insights into the ASP solving process, and finally the relation among the ASP systems clasp, gringo, and clingo is briefly discussed.

Video (part one 10:34, part two 16:44), Script (org, html, tex, pdf, txt), Files (tgz, zip)