Answer set solving in practice, solving, nogoods from logic programs, loop
Channel: Potassco
Date: 12/01/2021

This video shows how loop nogoods are derived from loop formulas and how they capture stable models together with completion nogoods