Answer set solving in practice, solving, nogoods from logic programs, completion nogoods

This video shows how nogoods are derived from completion formulas and how they can be used for unit propagation